An adversarial model for fault analysis against low-cost cryptographic devices

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

Volumn 4236 LNCS, Issue , 2006, Pages 131-143

  Lemke Rust, Kerstin ^a   Paar, Christof ^a  

^a RUHR UNIVERSITY BOCHUM   (Germany)

Author keywords

Adversarial model; Fault analysis; Implementation attack; Physical security; Tamper proof hardware; Tampering

Indexed keywords

COMPUTER CRIME; FAILURE ANALYSIS; MATHEMATICAL MODELS; SECURITY OF DATA;

ADVERSARIAL MODELS; FAULT ANALYSIS; IMPLEMENTATION ATTACK; PHYSICAL SECURITY; TAMPER-PROOF HARDWARE; TAMPERING;

CRYPTOGRAPHY;

EID: 33845218764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11889700_13     Document Type: Conference Paper

References (23)

1. ISO 13491-1:1998 Banking - Secure cryptographic devices (retail)- Part 1: Concepts, requirements and evaluation methods.
2. Common Methodology for Information Technology Security Evaluation, CEM-99/045, Part 2: Evaluation Methodology, 1999.
3. FIPS PUB 140-2, Security Requirements for Cryptographic Modules, 2001.
4. Ross Anderson and Markus Kuhn. Tamper Resistance - A Cautionary Note. In The Second USENIX Workshop on Electronic Commerce Proocedings, pages 1-11, 1996.
5. Gildas Avoine. Adversarial Model for Radio Frequency Identification, available at http://eprint.iacr.org/2005/049. Technical report, 2005.
6. Hagai Bar-El, Hamid Choukri, David Naccache, Michael Tunstall, and Claire Whelan. The Sorcerer's Apprenctice's Guide to Fault Attacks. In Workshop on Fault Detection and Tolerance in Cryptography, 2004.
7. Hagai Bar-El, Hamid Choukri, David Naccache, Michael Tunstall, and Claire Whelan. The Sorcerer's Apprenctice's Guide to Fault Attacks, available at http://eprint.iacr.org/2004/100. Technical report, 2004.
8. Eli Biham and Adi Shamir. The Next Stage of Differential Fault Analysis: How to break completely unknown cryptosystems, available at http://jya.com/dfa. htm, 1996.
9. Eli Biham and Adi Shamir. Differential fault analysis of secret key cryptosystems. In Burton S. Kaliski Jr., editor, CRYPTO, volume 1294 of Lecture Notes in Computer Science, pages 513-525. Springer, 1997.
10. Dan Boneh, Richard A. DeMillo, and Richard J. Lipton. On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract). In Walter Fumy, editor, Advances in Cryptology - EUROCRYPT '97, volume 1233 of Lecture Notes in Computer Science, pages 37-51. Springer, 1997.
11. Rosario Gennaro, Anna Lysyanskaya, Tal Malkin, Silvio Micali, and Tal Rabin. Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering. In Moni Naor, editor, Theory of Cryptography, volume 2951 of Lecture Notes in Computer Science, pages. 258-277. Springer, 2004.
12. William N. Havener, Roberta J. Medlock, Lisa D. Mitchell, and Robert J. Walcott. Derived Test Requirements for FIPS PUB 140-1, Security Requirements for Cryptographic Modules, 1995.
13. Marc Joye, Jean-Jacques Quisquater, Sung-Ming Yen, and Moti Yung. Observability analysis - detecting when improved cryptosystems fail. In Bart Preneel, editor, CT-RSA, volume 2271 of Lecture Notes in Computer Science, pages 17-29. Springer, 2002.
14. Oliver Kömmerling and Markus G. Kuhn. Design Principles for Tamper-Resistant Smartcard Processors. In Proceedings of the USENIX Workshop on Smartcard Technology (Smartcard '99), pages 9-20, 1999.
15. Kerstin Lemke and Christof Paar. An Adversarial Model for Fault Analysis against Low-Cost Cryptographic Devices. In Workshop on Fault Detection and Tolerance in Cryptography, pages 82-94, 2005.
16. Kerstin Lemke, Christof Paar, and Ahmad-Reza Sadeghi. Physical Security Bounds Against Tampering. In Applied Cryptography and Network Security, volume 3989 of Lecture Notes in Computer Science, pages 253-267. Springer, 2006.
17. Regís Leveugle. Early Analysis of Fault Attack Effects for Cryptographic Hardware. In Workshop on Fault Detection and Tolerance in Cryptography, 2004.
18. P.-Y. Liardet and Y. Teglia. From Reliability to Safety. In Workshop on Fault Detection and Tolerance in Cryptography, 2004.
19. David May, Henk L. Muller, and Nigel P. Smart. Random Register Renaming to Foil DPA. In Çetin Kaya Koç, David Naccache, and Christof Paar, editors, Cryptographic Hardware and Embedded Systems - CHES 2001, volume 2162 of Lecture Notes in Computer Science, pages 28-38. Springer, 2001.
20. Gilles Piret and Jean-Jacques Quisquater. A Differential Fault Attack Technique against SPN Structures, with Application to the AES and KHAZAD. In Colin D. Walter, Çetin Kaya Koç, and Christof Paar, editors, Cryptographic Hardware and Embedded Systems - CHES 2003, volume 2779 of Lecture Notes in Computer Science, pages 77-88. Springer, 2003.
21. David Samyde and Jean-Jacques Quisquater. Eddy Current for Magnetic Analysis with Active Sensor. In Proceedings of ESmart 2002, pages 185-194, 2002.
22. Sergei P. Skorobogatov and Ross J. Anderson. Optical Fault Induction Attacks. In Burton S. Kaliski Jr., Çetin Kaya Koç, and Christof Paar, editors, Cryptographic Hardware and Embedded Systems - CHES 2002, volume 2523 of Lecture Notes in Computer Science, pages 2-12. Springer, 2002.
23. Sergei S. Skorobogatov. Semi-invasive attacks - A new approach to hardware security analysis, available at http://www.cl.cam.ac.uk/techreports/ ucam-cl-tr-630.pdf. Technical report, 2005.