Physical security bounds against tampering

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

Volumn 3989 LNCS, Issue , 2006, Pages 253-267

  Lemke, Kerstin ^a   Paar, Christof ^a   Sadeghi, Ahmad Reza ^a  

^a RUHR UNIVERSITY BOCHUM   (Germany)

Author keywords

Adversarial Model; Error Detection; Fault Analysis; Fault Detection; Fault Prevention; Implementation Attack; Physical Security; Tamper Proof Hardware

Indexed keywords

COMPUTATION THEORY; CRYPTOGRAPHY; ERROR DETECTION; MATHEMATICAL MODELS;

ADVERSARIAL MODELS; FAULT ANALYSIS; FAULT DETECTION; FAULT PREVENTION; IMPLEMENTATION ATTACKS; PHYSICAL SECURITY; TAMPER-PROOF HARDWARE;

SECURITY OF DATA;

EID: 33746611886     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767480_17     Document Type: Conference Paper

References (27)

1. ISO 13491-1:1998 Banking - Secure cryptographic devices (retail)- Part 1: Concepts, requirements and evaluation methods.
2. FIPS PUB 140-2, Security Requirements for Cryptographic Modules, 2001.
3. Ross Anderso and Markus Kuhn. Tamper Resistance - A Cautionary Note. In The Second USENIX Workshop on Electronic Commerce Proocedings, pages 1-11, 1996.
4. Christian Aumüller, Peter Bier, Wieland Fischer, Peter Hofreiter, and Jean-Pierre Seifert. Fault Attacks on RSA with CRT: Concrete Results and Practical Countermeasures. In Jr. et al. [14], pages 260-275.
5. 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.
6. Eli Biham, Louis Granboulan, and Phong Q. Nguyen, Impossible Fault Analysis of RC4 arid Differential Fault Analysis of RC4. In Henri Gilbert and Helena Handschuh, editors, Fast Software Encryption: 12th International Workshop, volume 3557 of Lecture Notes in Computer Science, pages 359-367. Springer, 2005.
7. 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.
8. 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.
9. 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.
10. Jacques J. A. Fournier, Simon W. Moore, Huiyun Li, Robert D. Mullins, and George S. Taylor. Security evaluation of asynchronous circuits. In Walter et al. [27], pages 137-151.
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. Jonathan J. Hoch and Adi Shamir. Fault analysis of stream ciphers. In Marc Joye and Jean-Jacques Quisquater, editors, Cryptographic Hardware and Embedded Systems - CHES 2004, volume 3156 of Lecture Notes in Computer Science, pages 240-253. Springer, 2004.
14. Burton S. Kaliski Jr., Cetin Kaya Koç, and Christof Paar, editors. Cryptographic Hardware and Embedded Systems - CHES 2002, 4th International Workshop, Redwood Shores, CA, USA, August 13-15, 2002, Revised Papers, volume 2523 of Lecture Notes in Computer Science. Springer, 2003.
15. Ramesh Karri, Grigori Kuznetsov, and Michael Goessel. Parity-Based Concurrent Error Detection of Substitution-Permutation Network Block Ciphers. In Walter et al. [27], pages 113-124.
16. 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.
17. 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.
18. Regís Leveugle. Early Analysis of Fault Attack Effects for Cryptographic Hardware. In Workshop on Fault Detection and Tolerance in Cryptography, 2004.
19. P.-Y. Liardet and Y. Teglia. From Reliability to Safety. In Workshop on Fault Detection and Tolerance in Cryptography, 2004.
20. Tal G. Malkin, François-Xavier Standaert, and Moti Yung. A Comparative Cost/Security Analysis of Fault Attack Countermeasures. In Workshop on Fault Detection and Tolerance in Cryptography, pages 109-123, 2005.
21. National Institute of Standards and Technology (NIST). Physical Reference Data, available at http://physics.nist.gov/PhysRefData/contents.html.
22. Gilles Piret and Jean-Jacques Quisquater. A Differential Fault Attack Technique against SPN Structures, with Application to the AES and KHAZAD. In Walter et al. [27], pages 77-88.
23. David Samyde and Jean-Jacques Quisquater. Eddy Current for Magnetic Analysis with Active Sensor. In Proceedings of ESmart 2002, pages 185-194, 2002.
24. Sergei P. Skorobogatov and Ross J. Anderson. Optical Fault Induction Attacks. In Jr. et al. [14], pages 2-12.
25. 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.
26. F.-X. Standaert, L. Batina, E. de Mulder, K. Lemke, E. Oswald, and G. Piret. ECRYT D.VAM.4: Electromagnetic Analysis and Fault Attacks: State of the Art. Technical report, 2005.
27. Colin D. Walter, Çetin Kaya Koç, and Christof Paar, editors. Cryptographic Hardware and Embedded Systems - CUES 2003, 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings, volume 2779 of Lecture Notes in Computer Science. Springer, 2003.