Emmanuelle ENCRENAZ-TIPHÈNE

Responsibilities

Director of the Engineering Department (2017-2022)

Selected publications

- Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz: Side-channel robustness analysis of masked assembly codes using a symbolic approach. Journal of Cryptographic Engineering 9(3): 231-242 (2019). 

- Jean-Baptiste Bréjon, Karine Heydemann, Emmanuelle Encrenaz, Quentin Meunier, Son-Tuan Vu. Fault attack vulnerability assessment of binary code. Proceedings of the Sixth Workshop on Cryptography and Security in Computing Systems (2019): 13-18.

- Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz: Modeling a Cache Coherence Protocol with the Guarded Action Language. MARS/VPT@ETAPS 2018: 88-103.

- Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz: Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. PROOFS@CHES 2017: 17-32.