EIT
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...
CCS
1993
ACM
13 years 11 months ago
1993
ACM
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
ESORICS
2005
Springer
14 years 29 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...