E
Emmanuelle Encrenaz
Researcher at University of Paris
Publications - 49
Citations - 754
Emmanuelle Encrenaz is an academic researcher from University of Paris. The author has contributed to research in topics: Fault injection & Model checking. The author has an hindex of 11, co-authored 49 publications receiving 672 citations. Previous affiliations of Emmanuelle Encrenaz include Pierre-and-Marie-Curie University & Centre national de la recherche scientifique.
Papers
More filters
Proceedings ArticleDOI
Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller
TL;DR: The aim of this paper is providing a more in-depth study of the effects of electromagnetic glitch fault injection on a state-of-the-art micro controller and building an associated register-transfer level fault model.
Journal ArticleDOI
An inverse method for parametric timed automata
TL;DR: An algorithm InverseMethod is presented that terminates in the case of acyclic models, and the goal is to compute a constraint K0 on the parameters, satisfied by π0, guaranteeing that, under any parameter valuation satisfying K0, the system behaves in the same manner.
Journal ArticleDOI
Formal verification of a software countermeasure against instruction skip attacks
Nicolas Moro,Nicolas Moro,Karine Heydemann,Karine Heydemann,Emmanuelle Encrenaz,Emmanuelle Encrenaz,Bruno Robisson +6 more
TL;DR: In this article, the authors provide a fault-tolerant replacement sequence for almost all the instructions of the Thumb-2 instruction set and provide a formal verification for this fault tolerance.
Book ChapterDOI
Data Decision Diagrams for Petri Net Analysis
Jean-Michel Couvreur,Emmanuelle Encrenaz,Emmanuel Paviot-Adet,Denis Poitrenaud,Pierre-André Wacrenier +4 more
TL;DR: A new data structure, the Data Decision Diagrams, equipped with a mechanism allowing the definition of application-specific operators, based on combination of inductive linear functions offering a large expressiveness while alleviating for the user the burden of hard coding traversals in a shared data structure is presented.
Journal ArticleDOI
An Inverse Method for Parametric Timed Automata
TL;DR: The objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each value of parameters satisfying these constraints, the behaviors of the timed automata are time-abstract equivalent.