9 search results - page 2 / 2 » Nonce Generators and the Nonce Reset Problem |
PKC
2005
Springer
13 years 11 months ago
2005
Springer
We present an attack on DSA smart-cards which combines physical fault injection and lattice reduction techniques. This seems to be the first (publicly reported) physical experimen...
CSFW
2007
IEEE
14 years 10 days ago
2007
IEEE
In this paper we focus on tackling the insecurity problem of security protocols in the presence of an unbounded number of data such as nonces or session keys. First, we pinpoint f...
ASIACRYPT
2003
Springer
13 years 11 months ago
2003
Springer
Provable security usually makes the assumption that a source of perfectly random and secret data is available. However, in practical applications, and especially when smart cards a...
CSFW
2002
IEEE
13 years 11 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...