Unsere neues Forschungsprojekt „Secure Compiler and Verification Tools for Masking Schemes in the Noisy Leakage Model“ (CoVeriNoisy) ist zum 1.1.2025 gestartet. Dieses vierjährige Projekt, das vom Nationalen Forschungszentrum für angewandte Cybersicherheit (ATHENE) finanziert wird, zielt darauf ab, die Sicherheitsanalyse bei verrauschtem Leck voranzutreiben.

In Zusammenarbeit mit dem Team des Lehrstuhls für Implementierungssicherheit (ImpSec) unter der Leitung von Amir Moradi werden wir bestehende Leckmodelle verfeinern, formale Verifikationsmethoden für Seitenkanal-Gegenmaßnahmen entwickeln und Open-Source-Tools für die sichere Hardwareanalyse erstellen. Darüber hinaus umfasst das Projekt eine experimentelle Validierung, um die Genauigkeit dieser Modelle und Tools zu gewährleisten. Alle Ergebnisse werden öffentlich zugänglich gemacht, um die Reproduzierbarkeit zu fördern und die breitere Forschungsgemeinschaft zu unterstützen.