4731 search results - page 213 / 947 » Securing Interactive Programs |
129
click to vote
ICMCS
1995
IEEE
15 years 8 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...
249
click to vote
ASIAN
2009
Springer
15 years 6 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...
159
click to vote
IJISEC
2010
15 years 3 months 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...
140
click to vote
DAC
2007
ACM
16 years 6 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...
137
click to vote
ITNG
2006
IEEE
15 years 11 months ago
2006
IEEE
We introduce a measurement system architecture, which has three main qualities: secure two-way transfer of measurement data, quick adaptability to different kinds of measurement ...