783 search results - page 6 / 157 » On security proof of McCullagh |
CRITIS
2008
13 years 11 months ago
2008
STOC
2002
ACM
14 years 10 months ago
2002
ACM
IACR
2011
12 years 9 months ago
2011
Abstract. Tampering attacks are cryptanalytic attacks on the implementation of cryptographic algorithms (e.g., smart cards), where an adversary introduces faults with the hope that...
ESORICS
2010
Springer
13 years 11 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
SP
2009
IEEE
14 years 4 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...