Skip to Main content Skip to Navigation
Conference papers

Detecting Laser Fault Injection for Smart Cards using Security Automata

Guillaume Bouffard 1, * N. Thampi Bhagyalekshmy 1 Jean-Louis Lanet 1
* Corresponding author
Abstract : Abstract. Security and interoperability issues are increasing in smart card domain and it is important to analyze these issues carefully and implement appropriate countermeasures to mitigate them. Security issues involve attacks on smart cards which can lead to their abnormal behavior. Fault attacks are the most important among them and they can affect the program execution, smart card memory, etc. Detecting these abnormalities requires some redundancies, either by another code execution or by an equivalent representation. In this paper, we propose an automatic method to provide this redundancy using a security automaton as the main detection mechanism. This can enforce some trace properties on a smart card application, by using the combination of a static analysis and a dynamic monitoring. The security officer specifies the fragments of the code that must be protected against fault attacks and a program transformer produces an equivalent program that mesh a security automaton into the code according to the security requirements.
Complete list of metadatas
Contributor : Guillaume Bouffard <>
Submitted on : Wednesday, March 26, 2014 - 3:11:26 PM
Last modification on : Thursday, January 11, 2018 - 6:26:29 AM




Guillaume Bouffard, N. Thampi Bhagyalekshmy, Jean-Louis Lanet. Detecting Laser Fault Injection for Smart Cards using Security Automata. Security in Computing and Communications - International Symposium (SSCC), Aug 2013, Mysore, India. pp.18-29, ⟨10.1007/978-3-642-40576-1⟩. ⟨hal-00966373⟩



Record views