We are excited to announce the launch of our new research project, Secure Compiler and Verification Tools for Masking Schemes in the Noisy Leakage Model (CoVeriNoisy). This four-year project, funded by the National Research Center for Applied Cybersecurity (ATHENE), aims to advance security analysis in the presence of noisy leakage.

In collaboration with the Chair of Implementation Security (ImpSec) team, led by Amir Moradi, we will refine existing leakage models, develop formal verification methods for side-channel countermeasures, and create open-source tools for secure hardware analysis.