Bridging the gap between RTL and software fault injection
J Laurent, C Deleuze, F Pebay-Peyroula… - ACM Journal of …, 2021 - dl.acm.org
Protecting programs against hardware fault injection requires accurate software fault
models. However, typical models, such as the instruction skip, do not take into account the …
models. However, typical models, such as the instruction skip, do not take into account the …
Secure delivery of program properties through optimizing compilation
ST Vu, K Heydemann, A de Grandmaison… - Proceedings of the 29th …, 2020 - dl.acm.org
Annotations and assertions capturing static program properties are ubiquitous, from robust
software engineering to safety-critical or secure code. These may be functional or non …
software engineering to safety-critical or secure code. These may be functional or non …
Reconciling optimization with secure compilation
Software protections against side-channel and physical attacks are essential to the
development of secure applications. Such protections are meaningful at machine code or …
development of secure applications. Such protections are meaningful at machine code or …
Secure optimization through opaque observations
Secure applications implement software protections against side-channel and physical
attacks. Such protections are meaningful at machine code or micro-architectural level, but …
attacks. Such protections are meaningful at machine code or micro-architectural level, but …
Modélisation de fautes utilisant la description RTL de microarchitectures pour l'analyse de vulnérabilité conjointe matérielle-logicielle
J Laurent - 2020 - theses.hal.science
La sécurité numérique est aujourd'hui un enjeu majeur dans nos sociétés. Communications,
énergie, transport, outils de production, Internet des Objets… Les systèmes numériques se …
énergie, transport, outils de production, Internet des Objets… Les systèmes numériques se …