• Publications
  • Influence
Formal verification of a software countermeasure against instruction skip attacks
TLDR
We provide a fault-tolerant replacement sequence for almost all the instructions of Thumb-2 instruction set and provide a formal verification for this fault tolerance. Expand
  • 79
  • 10
  • PDF
Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller
TLDR
Injection of transient faults as a way to attack cryptographic implementations has been largely studied in the last decade. Expand
  • 130
  • 9
  • PDF
Electromagnetic Glitch on the AES Round Counter
TLDR
This article presents a Round Addition Analysis on a software implementation of the Advanced Encryption Standard (aes) algorithm. Expand
  • 45
  • 3
  • PDF
Experimental evaluation of two software countermeasures against fault attacks
TLDR
Injection of transient faults can be used as a way to attack embedded systems. Expand
  • 23
  • 2
  • PDF
Electromagnetic analysis and fault injection onto secure circuits
TLDR
In this paper, we resume the recent results obtained on this subject, with a particular focus on EM as a fault injection tool. Expand
  • 8
  • 1
  • PDF
Sécurisation de programmes assembleur face aux attaques visant les processeurs embarqués. (Security of assembly programs against fault attacks on embedded processors)
  • Nicolas Moro
  • Political Science, Computer Science
  • 13 November 2014
TLDR
Un modele de fautes par l'experimentation base sur des attaques par impulsion electromagnetique a ete elabore. Expand
  • 9
  • PDF
Electromagnetic fault injection on microcontrollers
The purpose of this work is to define an assembly-level fault model for electromagnetic fault injection on a state-of-the-art 32-bit microcontroller. Injecting faults in a circuit's computation canExpand
  • 4
Fault attacks on two software countermeasures
TLDR
Injection of transient faults can be used as a way to attack embedded systems. Expand
Attaques par injection de fautes sur microcontrôleur et contre-mesures au niveau du code embarqué
TLDR
Ce travail presente un ensemble de resultats experimentaux visant a definir un modele de fautes pour les attaques par injection electromagnetiques sur un microcontroleur 32 bits. Expand
...
1
2
...