Emmanuelle Encrenaz

6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

PROSECCO: Formally-proven secure compiled code

Nicolas Belleville and others (2021) · 28th Computer Electronics Security Application Rendezvous (C&ESAR)

Fault attack vulnerability assessment of binary code

Jean-Baptiste Bréjon and others (2019)

FSM-based properties and abstraction of components

Syed Alwi and others (2014)

Formal verification of a software countermeasure against instruction skip attacks

Nicolas Moro and others (2014) · Journal of Cryptographic Engineering · Springer Science+Business Media

Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller

Nicolas Moro and others (2013) · 2013 Workshop on Fault Diagnosis and Tolerance in Cryptography · IEEE

Complementary Formal Approaches for Dependability Analysis

Souheib Baarir and others (2009) · Proceedings · Institute of Electrical and Electronics Engineers