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
1302013
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
1092009
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
972002
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
652014
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
332008
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
302009
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
242014
An inverse method for parametric timed automata
É André, T Chatain, L Fribourg, E Encrenaz
Electronic Notes in Theoretical Computer Science 223, 29-46, 2008
242008
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 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
171995
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
142010
Efficient design and evaluation of countermeasures against fault attacks using formal verification
L Goubet, K Heydemann, E Encrenaz, R De Keulenaer
International Conference on Smart Card Research and Advanced Applications …, 2015
122015
Design validation of zcsp with spin
V Beaudenon, E Encrenaz, JL Desbarbieux
Third International Conference on Application of Concurrency to System …, 2003
122003
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
112013
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-Tiphène, L Fribourg, W Xu
Proceedings of the 10th WSEAS international conference on Circuits, 302-307, 2006
102006
Using VCI in a on-chip system around SPIN network
H Charlery, A Greiner, E Encrenaz, L Mortiez, A Andri
Proceedings of the 11th International Conference Mixed Design of Integrated …, 2004
92004
Une Méthode de vérification de propriétés de programmes VHDL basée sur des modèles formels de réseaux de Petri
E Encrenaz
Paris 6, 1995
91995
Time separation of events: An inverse method
E Encrenaz, L Fribourg
Electronic Notes in Theoretical Computer Science 209, 135-148, 2008
72008
A tool for automatic detection of deadlock in wormhole networks on chip
S Taktak, E Encrenaz, J Desbarbieux
2006 IEEE International High Level Design Validation and Test Workshop, 203-210, 2006
72006
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20