Emmanuelle Encrenaz

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