2257 search results - page 161 / 452 » Secure program partitioning |
117
click to vote
EUROMICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose an hardware solution to several security problems that are difficult to solve on classical processor architectures, like licensing, electronic commerce, or software pri...
110
click to vote
ICMCS
1995
IEEE
15 years 6 months ago
1995
IEEE
Trials of Video on Demand and Pay-Per-View systems are underway in many countries, and as a result, many cable and telecommunications companies are having to upgrade or replace th...
217
click to vote
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
135
click to vote
IJISEC
2010
15 years 28 days ago
2010
Physical Unclonable Functions (PUFs) are physical objects that are unique, practically unclonable and that behave like a random function when subjected to a challenge. Their use h...
114
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...