Skip to Main content Skip to Navigation
Theses

Sécurisation de programmes assembleur face aux attaques visant les processeurs embarqués

Abstract : This thesis focuses on the security of embedded programs against fault injection attacks. Due to the spreadings of embedded systems in our common life, development of countermeasures is important.First, a fault model based on practical experiments with a pulsed electromagnetic fault injection technique has been built. The experimental results show that the injected faults were due to the corruption of the bus transfers between the Flash memory and the processor’s pipeline. Such faults enable to perform instruction replacements, instruction skips or to corrupt some data transfers from the Flash memory.Although replacing an instruction with another very specific one is very difficult to control, skipping an instruction seems much easier to perform in practice and has been observed very frequently. Furthermore many simple attacks can carried out with an instruction skip. A countermeasure that prevents such instruction skip attacks has been designed and formally verified with model-checking tool. The countermeasure replaces each instruction by a sequence of instructions. However, this countermeasure does not protect the data loads from the Flash memory. To do this, it can be combined with another assembly-level countermeasure that performs a fault detection. A first experimental test of these two countermeasures has been achieved, both on isolated instructions and complex codes from a FreeRTOS implementation. The proposed countermeasure appears to be a good complement for this detection countermeasure and allows to correct some of its flaws.
Document type :
Theses
Complete list of metadata

Cited literature [88 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01147122
Contributor : Abes Star :  Contact
Submitted on : Wednesday, April 29, 2015 - 4:12:05 PM
Last modification on : Thursday, December 10, 2020 - 11:04:31 AM
Long-term archiving on: : Monday, September 14, 2015 - 3:41:02 PM

File

these_archivage_3076010o.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01147122, version 1

Citation

Nicolas Moro. Sécurisation de programmes assembleur face aux attaques visant les processeurs embarqués. Cryptographie et sécurité [cs.CR]. Université Pierre et Marie Curie - Paris VI, 2014. Français. ⟨NNT : 2014PA066616⟩. ⟨tel-01147122⟩

Share

Metrics

Record views

744

Files downloads

1608