Author:Karine Heydemann

Publications
Proceedings of 8th International Workshop on Security Proofs for Embedded Systems Karine Heydemann, Ulrich Kühne and Letitia Li (editors) Kalpa Publications in Computing, volume 11
Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes Inès Ben El Ouahma, Quentin Meunier, Karine Heydemann and Emmanuelle Encrenaz In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems