Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes

Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz. Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. In Ulrich Kühne, Jean-Luc Danger, Sylvain Guilley, editors, PROOFS@CHES 2017, 6th International Workshop on Security Proofs for Embedded Systems, Taipei, Taiwan, Friday September 29th, 2017. Volume 49 of EPiC Series in Computing, pages 17-32, EasyChair, 2017. [doi]

Abstract

Abstract is missing.