2303 search results - page 38 / 461 » The Cryptographic Abstract Machine |
153
click to vote
ICISC
2009
15 years 2 months ago
2009
Abstract. The design of embedded processors demands a careful tradeoff between many conflicting objectives such as performance, silicon area and power consumption. Finding such a t...
113
Voted
ECML
2005
Springer
15 years 10 months ago
2005
Springer
124
click to vote
CHES
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This paper describes a new type of attack on tamper-resistant cryptographic hardware. We show that by locally observing the value of a few RAM or adress bus bits (possibl...
176
Voted
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
159
Voted
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...