Emmanuelle Encrenaz

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 4

Top Topics

Formal Verification

Action Language

Top Venues

J. Cryptogr. Eng.

Publications

Xunyue Hu, Quentin L. Meunier, Emmanuelle Encrenaz
Blind-Folded: Simple Power Analysis Attacks using Data with a Single Trace and no Training. IACR Cryptol. ePrint Arch. 2024 (2024)
Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz
Side-channel robustness analysis of masked assembly codes using a symbolic approach. J. Cryptogr. Eng. 9 (3) (2019)
Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz
Modeling a Cache Coherence Protocol with the Guarded Action Language. MARS/VPT@ETAPS (2018)
Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz
Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. PROOFS (2017)
Lucien Goubet, Karine Heydemann, Emmanuelle Encrenaz, Ronald De Keulenaer
Efficient Design and Evaluation of Countermeasures against Fault Attacks Using Formal Verification. CARDIS (2015)
Nicolas Moro, Karine Heydemann, Emmanuelle Encrenaz, Bruno Robisson
Formal verification of a software countermeasure against instruction skip attacks. J. Cryptogr. Eng. 4 (3) (2014)
Nicolas Moro, Karine Heydemann, Amine Dehbaoui, Bruno Robisson, Emmanuelle Encrenaz
Experimental evaluation of two software countermeasures against fault attacks. CoRR (2014)
Nicolas Moro, Karine Heydemann, Amine Dehbaoui, Bruno Robisson, Emmanuelle Encrenaz
Experimental evaluation of two software countermeasures against fault attacks. HOST (2014)
Syed Hussein Syed Alwi, Emmanuelle Encrenaz
FSM-based properties and abstraction of components. RSP (2014)
Nicolas Moro, Amine Dehbaoui, Karine Heydemann, Bruno Robisson, Emmanuelle Encrenaz
Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller. CoRR (2014)
Nicolas Moro, Karine Heydemann, Emmanuelle Encrenaz, Bruno Robisson
Formal verification of a software countermeasure against instruction skip attacks. CoRR (2014)
Christoph Grimm, Emmanuelle Encrenaz
Verification of heterogeneous systems: Theory and industrial experiences. FDL (2013)
Geoffrey Plouviez, Emmanuelle Encrenaz, Franck Wajsbürt
A Formally Verified Static Hypervisor with Hardware Support for a Many-Core Chip. Euro-Par Workshops (2013)
Nicolas Moro, Amine Dehbaoui, Karine Heydemann, Bruno Robisson, Emmanuelle Encrenaz
Electromagnetic Fault Injection: Towards a Fault Model on a 32-bit Microcontroller. FDTC (2013)
Karine Heydemann, Nicolas Moro, Emmanuelle Encrenaz, Bruno Robisson
Formal verification of a software countermeasure against instruction skip attacks. IACR Cryptol. ePrint Arch. 2013 (2013)
Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz
An efficient refinement strategy exploiting component properties in a cegar process. FDL (2012)
Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz
Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process. FDL (Selected Papers) (2012)
Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès
Feasibility analysis for robustness quantification by symbolic model checking. Formal Methods Syst. Des. 39 (2) (2011)
Vincent Beaudenon, Emmanuelle Encrenaz, Sami Taktak
Data decision diagrams for Promela systems analysis. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Abdelrezzak Bara, Pirouz Bazargan-Sabet, Remy Chevallier, Dominique Le Dû, Emmanuelle Encrenaz, Patricia Renault
Formal Verification of Timed VHDL Programs. FDL (2010)
Sami Taktak, Emmanuelle Encrenaz, Jean Lou Desbarbieux
A Polynomial Algorithm to Prove Deadlock-Freeness of Wormhole Networks. PDP (2010)
Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz
An Inverse Method for Parametric Timed Automata. Int. J. Found. Comput. Sci. 20 (5) (2009)
Emmanuelle Encrenaz, Alain Finkel
Automatic Verification of Counter Systems With Ranking Function. INFINITY (2009)
Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud
Complementary Formal Approaches for Dependability Analysis. DFT (2009)
Emmanuelle Encrenaz, Laurent Fribourg
Time Separation of Events: An Inverse Method. Electron. Notes Theor. Comput. Sci. 209 (2008)
Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz
An Inverse Method for Parametric Timed Automata. Electron. Notes Theor. Comput. Sci. 223 (2008)
Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encrenaz
A tool for automatic detection of deadlock in wormhole networks on chip. ACM Trans. Design Autom. Electr. Syst. 13 (1) (2008)
Cécile Braunstein, Emmanuelle Encrenaz
Using CTL formulae as component abstraction in a design and verification flow. ACSD (2007)
Cécile Braunstein, Emmanuelle Encrenaz
CTL-property Transformations along an Incremental Design Process. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Sami Taktak, Emmanuelle Encrenaz, Jean Lou Desbarbieux
A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip. HLDVT (2006)
Cécile Braunstein, Emmanuelle Encrenaz
Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter. IEEE International Workshop on Rapid System Prototyping (2006)
Cécile Braunstein, Emmanuelle Encrenaz
CTL-Property Transformations Along an Incremental Design Process. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Vincent Beaudenon, Emmanuelle Encrenaz, Jean Lou Desbarbieux
Design Validation of ZCSP with SPIN. ACSD (2003)
Cédric Roux, Emmanuelle Encrenaz
CTL May Be Ambiguous When Model Checking Moore Machines. CHARME (2003)
Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier
Data Decision Diagrams for Petri Net Analysis. ICATPN (2002)
Fahim Rahim-Sarwary, Emmanuelle Encrenaz, Michel Minoux, Rajesh K. Bawa
Modular model checking of VLSI designs described in VHDL. CATA (1998)
Rajesh K. Bawa, Emmanuelle Encrenaz
A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and Synthesis. FTRTFT (1996)
Emmanuelle Encrenaz
A Symbolic Relation for a Subset of VHDL'87 Descriptions and its Application to Symbolic Model Checking. CHARME (1995)