2303 search results - page 38 / 461 » The Cryptographic Abstract Machine |
132
Voted
ICISC
2009
15 years 7 days 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...
ECML
2005
Springer
15 years 8 months ago
2005
Springer
100
click to vote
CHES
1999
Springer
15 years 6 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...
150
click to vote
FSTTCS
2010
Springer
15 years 15 days 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...
134
click to vote
APLAS
2007
ACM
15 years 6 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...