Bundesamt für Sicherheit in der Informationstechnik - KI-Methoden in der Seitenkanalanalyse II (KISKA II)

Forschungs- und Entwicklungsprojekt zur Untersuchung und Weiterentwicklung KI-gestützter Methoden für die Seitenkanalanalyse kryptographischer Implementierungen, insbesondere Post-Quanten-Kryptoverfahren (ML-KEM, FrodoKEM, ML-DSA) und symmetrische Verfahren (AES) auf Mikrocontroller- und FPGA-Plattformen. Der Auftrag umfasst die Einrichtung einer Mess-/Testumgebung, die Auswahl/Erzeugung von Datensätzen (Strom/EM, multimodal), die Untersuchung robuster Modellarchitekturen, Trace-Kompression, Test-Time-Tuning sowie die Ableitung von Auswertungsmetriken und Workflows für reproduzierbare Evaluierungen. Optionale Betrachtung von Ansätzen zur Autoformalisierung von Sicherheitsnachweisen. Liefergegenstände: Berichte, Präsentationen, Leitfaden, Datensätze, Quellcode, erweiterte Software-Toolbox mit Dokumentation.