On the importance of checking cryptographic protocols for faults

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1233, Issue , 1997, Pages 37-51

  Boneh, Dan ^a   Demillo, Richard A ^a   Lipton, Richard J ^a  

^a TELCORDIA TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE; RECONFIGURABLE HARDWARE;

AUTHENTICATION PROTOCOLS; CRYPTOGRAPHIC PROTOCOLS; CRYPTOGRAPHIC SCHEMES; FIAT-SHAMIR; HARDWARE FAULTS; RABIN SIGNATURE; THEORETICAL MODELING;

CRYPTOGRAPHY;

EID: 84957355967     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69053-0_4     Document Type: Conference Paper

References (11)

1. M. Bellare, P. Rogaway, “The exact security of digital signatures-How to sign with RSA and Rabin”, in Proc. Eurocrypt 96, pp. 399-416.
2. E. Biham, A. Shamir, “A New sCryptanalytic Attack on DES: Differential Fault Analysis”, Manuscript.
3. M. Blum, H. Wasserman, “Program result checking”, proc. FOCS 94, pp. 382-392.
4. P. Kocher, “Timing attacks on implementations of Diffie-Hellman, RSA, DSS, and other systems”, Proc. of Cyrpto 96, pp. 104-113.
5. U. Feige, A. Fiat, A. Shamir, “Zero knowledge proofs of identity”, Proc. Of STOC 87.
6. Federal Information Processing Standards, “Security requirements for cryptographic modules”, FIPS publication 140-1, http://www.nist.gov/itl/csl/fips/fipl40-l.txt.
7. Y. Frankel, P. Gemmell, M. Yung, “Witness based cryptographic program checking and robust function sharing”, proc. STOC 96, pp. 499-508.
8. L. Guillou, J. Quisquater, “A practical zero knowledge protocol fitted to security microprocessor minimizing both transmission and memory”, in Proc. Eurocrypt 88, pp. 123-128
9. A.K. Lenstra, Memo on RSA signature generation in the presence of faults, manuscript, Sept. 28, 1996. Available from the author.
10. M. Rabin, “Digital signatures and public key functions as intractable as factorization”, MIT Laboratory for computer science, Technical report MIT/LCS/TR-212, Jan. 1979.
11. C. Schnorr, “Efficient signature generation by smart cards”, J. Cryptology, Vol. 4, (1991), pp. 161-174.