Volgen
emmanuelle encrenaz
emmanuelle encrenaz
associate professor of computer science, University Pierre and Marie Curie
Geverifieerd e-mailadres voor lip6.fr
Titel
Geciteerd door
Geciteerd door
Jaar
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
2722013
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
1322009
Formal verification of a software countermeasure against instruction skip attacks
N Moro, K Heydemann, E Encrenaz, B Robisson
Journal of Cryptographic Engineering 4, 145-156, 2014
1292014
Data decision diagrams for Petri net analysis
JM Couvreur, E Encrenaz, E Paviot-Adet, D Poitrenaud, PA Wacrenier
Application and Theory of Petri Nets 2002: 23rd International Conference …, 2002
1112002
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
412008
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
402014
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, 59-81, 2009
392009
Efficient design and evaluation of countermeasures against fault attacks using formal verification
L Goubet, K Heydemann, E Encrenaz, R De Keulenaer
Smart Card Research and Advanced Applications: 14th International Conference …, 2016
302016
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
202009
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
192019
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
162017
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
162010
A symbolic relation for a subset of vhdl'87 descriptions and its application to symbolic model checking
E Encrenaz
Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced …, 1995
161995
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, 231-242, 2019
132019
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20