Abstract. Masking is a popular countermeasure against side-channel attacks, which randomizes secret data with random and uniform variables called masks.
Our proposed method aims to verify that intermediate computations are statistically independent from secret variables using defined distribution inference rules ...
Oct 4, 2017 · In this paper, we propose a symbolic method to verify side-channel robustness of masked programs. The analysis is performed at the assembly ...
Symbolic Approach for Side-Channel Resistance. Analysis of Masked Assembly Codes ... For verifying side channel robustness of 1st order masked programs at ...
This article presents SELA, an open-source tool for verifying masked expressions, provided as a python library, and detail and motivate the design choices ...
Oct 22, 2024 · Our proposed method aims to verify that intermediate computations are statistically independent from secret variables using defined distribution ...
Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. I. Ouahma, Q. Meunier, K. Heydemann, and E. Encrenaz.
2017. Symbolic approach for side-channel resistance analysis of masked assembly codes. In Security Proofs for Embedded Systems. Google Scholar.
This talk presents a symbolic method to verify side-channel robustness of masked programs. The analysis is performed at the assembly level since compilation and ...
Meunier, K. Heydemann, E. Encrenaz, Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes, in PROOFS'17, Taipei, Taiwan. National ...