Concepedia

Emmanuelle Encrenaz

EE

9

Publications

305

Citations

9

H-Index

2008

Active since

Affiliations

Sorbonne Université(Current)

Centre National de la Recherche Scientifique

École Normale Supérieure Paris-Saclay

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Emmanuelle Encrenaz is an author at Sorbonne Université specializing in computer science, formal verification, and engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationComputer EngineeringFormal MethodsHardware SecurityVerificationProgram AnalysisSoftware AnalysisSystems Engineering

Publications per year

2008–2018

9

Publications

9

AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA

Étienne André, Thomas Chatain, Laurent Fribourg et al. · International Journal of Foundations of Computer Science · 2009 · 100 citations

Logical Automaton, Engineering, Reachability Problem +14

Formal verification of a software countermeasure against instruction skip attacks

Nicolas Moro, Karine Heydemann, Emmanuelle Encrenaz et al. · Journal of Cryptographic Engineering · 2014 · 88 citations · Full text

Hardware Security, Program Checking, Engineering +14

A tool for automatic detection of deadlock in wormhole networks on chip

Sami Taktak, Jean-Lou Desbarbieux, Emmanuelle Encrenaz · ACM Transactions on Design Automation of Electronic Systems · 2008 · 25 citations

Engineering, Verification, Computer Architecture +22

Experimental evaluation of two software countermeasures against fault attacks

Nicolas Moro, Karine Heydemann, Amine Dehbaoui et al. · 2014 · 24 citations

Hardware Trojan, Engineering, Temporal Redundancy +18

A Polynomial Algorithm to Prove Deadlock-Freeness of Wormhole Networks

Sami Taktak, Emmanuelle Encrenaz, Jean-Lou Desbarbieux · 2010 · 15 citations

Computational Complexity Theory, Engineering, Network Robustness +17

Rows per page

1–5 of 9