Detecting Laser Fault Injection for Smart Cards using Security Automata

Guillaume Bouffard 1, * N. Thampi Bhagyalekshmy 1 Jean-Louis Lanet 1
* Auteur correspondant
1 XLIM-DMI - DMI
XLIM - XLIM
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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-unilim.archives-ouvertes.fr/hal-00966373
Contributeur : Guillaume Bouffard <>
Soumis le : mercredi 26 mars 2014 - 15:11:26
Dernière modification le : jeudi 11 janvier 2018 - 06:26:29

Identifiants

Collections

Citation

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⟩

Partager

Métriques

Consultations de la notice

251