On error models for RTL security evaluations

Evaluating early at design time the level of security achieved with respect to fault-based hardware attacks requires understanding and accurately modeling the faults that can actually occur in a circuit under attack. Attacks with lasers can produce single or multiple-bit errors, while having a local impact in the circuit. This paper discusses several fault or error models that can be considered at design time and summarizes experimental results providing some insights into the consequences of the model chosen for evaluation.

[1]  Frédéric Valette,et al.  Characterization of Effective Laser Spots during Attacks in the Configuration of a Virtex-II FPGA , 2009, 2009 27th IEEE VLSI Test Symposium.

[2]  Marc Joye,et al.  Checking Before Output May Not Be Enough Against Fault-Based Cryptanalysis , 2000, IEEE Trans. Computers.

[3]  Régis Leveugle,et al.  Statistical fault injection: Quantified error and confidence , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[4]  David Naccache,et al.  The Sorcerer's Apprentice Guide to Fault Attacks , 2006, Proceedings of the IEEE.

[5]  Israel Koren,et al.  Error Analysis and Detection Procedures for a Hardware Implementation of the Advanced Encryption Standard , 2003, IEEE Trans. Computers.

[6]  Richard J. Lipton,et al.  On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract) , 1997, EUROCRYPT.

[7]  Assia Tria,et al.  Experimental evaluation of protections against laser-induced faults and consequences on fault modeling , 2007 .

[8]  Régis Leveugle,et al.  Experimental Evaluation of Protections Against Laser-induced Faults and Consequences on Fault Modeling , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[9]  R. Leveugle.  Early Analysis of Fault-based Attack Effects in Secure Circuits , 2007, IEEE Transactions on Computers.

[10]  Christophe Giraud,et al.  An Implementation of DES and AES, Secure against Some Attacks , 2001, CHES.

[11]  Jean-Max Dutertre,et al.  Fault Model Analysis of Laser-Induced Faults in SRAM Memory Cells , 2013, 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography.

[12]  Vincent Beroulle,et al.  A multiple fault injection methodology based on cone partitioning towards RTL modeling of laser attacks , 2014, DATE 2014.

[13]  Jean-Max Dutertre,et al.  Frontside laser fault injection on cryptosystems - Application to the AES' last round - , 2013, 2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST).

[14]  Rudy Lauwereins,et al.  Design, Automation, and Test in Europe , 2008 .

[15]  Régis Leveugle,et al.  A multiple fault injection methodology based on cone partitioning towards RTL modeling of laser attacks , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).