Suivre
emmanuelle encrenaz
emmanuelle encrenaz
associate professor of computer science, University Pierre and Marie Curie
Adresse e-mail validée de lip6.fr
Titre
Citée par
Citée par
Année
Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller
N Moro, A Dehbaoui, K Heydemann, B Robisson, E Encrenaz
2013 Workshop on Fault Diagnosis and Tolerance in Cryptography, 77-88, 2013
2132013
An inverse method for parametric timed automata
É André, T Chatain, L Fribourg, E Encrenaz
International Journal of Foundations of Computer Science 20 (05), 819-836, 2009
1232009
Data decision diagrams for Petri net analysis
JM Couvreur, E Encrenaz, E Paviot-Adet, D Poitrenaud, PA Wacrenier
International Conference on Application and Theory of Petri Nets, 101-120, 2002
1072002
Formal verification of a software countermeasure against instruction skip attacks
N Moro, K Heydemann, E Encrenaz, B Robisson
Journal of Cryptographic Engineering 4 (3), 145-156, 2014
1062014
A tool for automatic detection of deadlock in wormhole networks on chip
S Taktak, JL Desbarbieux, E Encrenaz
ACM Transactions on Design Automation of Electronic Systems (TODAES) 13 (1 …, 2008
392008
Timed verification of the generic architecture of a memory circuit using parametric timed automata
R Chevallier, E Encrenaz-Tiphene, L Fribourg, W Xu
Formal Methods in System Design 34 (1), 59-81, 2009
352009
Experimental evaluation of two software countermeasures against fault attacks
N Moro, K Heydemann, A Dehbaoui, B Robisson, E Encrenaz
2014 IEEE International Symposium on Hardware-Oriented Security and Trust …, 2014
342014
An inverse method for parametric timed automata
É André, T Chatain, L Fribourg, E Encrenaz
Electronic Notes in Theoretical Computer Science 223, 29-46, 2008
232008
Efficient design and evaluation of countermeasures against fault attacks using formal verification
L Goubet, K Heydemann, E Encrenaz, RD Keulenaer
International Conference on Smart Card Research and Advanced Applications …, 2015
212015
Complementary formal approaches for dependability analysis
S Baarir, C Braunstein, R Clavel, E Encrenaz, JM Ilié, R Leveugle, ...
2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI …, 2009
192009
A polynomial algorithm to prove deadlock-freeness of wormhole networks
S Taktak, E Encrenaz, JL Desbarbieux
2010 18th Euromicro Conference on Parallel, Distributed and Network-based …, 2010
152010
A symbolic relation for a subset of vhdl'87 descriptions and its application to symbolic model checking
E Encrenaz
Advanced Research Working Conference on Correct Hardware Design and …, 1995
151995
Formal verification of a software countermeasure against instruction skip attacks.
K Heydemann, N Moro, E Encrenaz, B Robisson
IACR Cryptol. ePrint Arch. 2013, 679, 2013
132013
Design validation of zcsp with spin
V Beaudenon, E Encrenaz, JL Desbarbieux
Third International Conference on Application of Concurrency to System …, 2003
122003
Symbolic approach for side-channel resistance analysis of masked assembly codes
IB El Ouahma, QL Meunier, K Heydemann, E Encrenaz
Security Proofs for Embedded Systems, 2017
112017
Side-channel robustness analysis of masked assembly codes using a symbolic approach
I Ben El Ouahma, QL Meunier, K Heydemann, E Encrenaz
Journal of Cryptographic Engineering 9 (3), 231-242, 2019
102019
Verification of the generic architecture of a memory circuit using parametric timed automata
R Chevallier, E Encrenaz-Tiphene, L Fribourg, W Xu
International Conference on Formal Modeling and Analysis of Timed Systems …, 2006
102006
Timing analysis of an embedded memory: SPSMALL
R Chevallier, E Encrenaz-Tiphene, L Fribourg, W Xu
Proceedings of the 10th WSEAS international conference on Circuits, 302-307, 2006
102006
Une methode de verification de propriétés de programmes VHDL basée sur des modèles formels de reseaux de Petri
E Encrenaz
Paris 6, 1995
101995
Fault attack vulnerability assessment of binary code
JB Bréjon, K Heydemann, E Encrenaz, Q Meunier, ST Vu
Proceedings of the Sixth Workshop on Cryptography and Security in Computing …, 2019
82019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20