2303 search results - page 116 / 461 » The Cryptographic Abstract Machine |
171
click to vote
SP
2009
IEEE
16 years 29 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
139
click to vote
EUROPKI
2007
Springer
16 years 12 days ago
2007
Springer
Millions of citizens around the world have already acquired their new electronic passport. The e-passport is equipped with contactless communication capability, as well as with a s...
168
click to vote
USS
2008
15 years 8 months ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
160
click to vote
ASIACRYPT
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Physical attacks on cryptographic implementations and devices have become crucial. In this context a recent line of research on a new class of side-channel attacks, calle...
137
click to vote
IH
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Dittmann, Katzenbeisser, Schallhart and Veith (IACR ePrint 2004) introduced the notion of invertible media authentication schemes, embedding authentication data in media ...