Encrenaz Emmanuelle
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
ENCRENAZ Emmanuelle is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
N. Moro, K. Heydemann, E. Encrenaz, B. Robisson : “Formal verification of a software countermeasure against instruction skip attacksâ€, Journal of Cryptographic Engineering, vol. 4 (3), H. Springer Berlin (Ed.), pp. 145-156, (ISBN: 2190-8508) (2014)
-
H. Mokrani, R. Ameur‑Boulifa, E. Encrenaz : “Assisting Refinement in System-on-Chip Designâ€, chapter in Languages, Design Methods, and Tools for Electronic System Design, Selected Contributions from FDL 2013, vol. 311, Lecture Notes in Electrical Engineering, T. Maehne, M.-M. Louërat (Eds.), pp. 21-42, (Springer), (ISBN: 978-3-319-06317-1) (2015)
-
L. Goubet, K. Heydemann, E. Encrenaz, R. De Keulenaer : “Efficient Design and Evaluation of Countermeasures against Fault Attack with Formal Verificationâ€, 14th International conference Smart Card Research and Advanced Applications (CARDIS), vol. 9514, Lecture Notes in Computer Science, Bochum, Germany, pp. 177-192, (Springer) (2015)
