Note: Ziel des Projekts ist es, ein Framework für die statische Seitenkanalanalyse von kryptographischen Implementierungen zu schaffen, welches zuverlässige quantitative Garantien basierend auf fundierten theoretischen Grundlagen bietet. Das Projekt erhöht die Genauigkeit und Skalierbarkeit der Analysen, indem es Engpässe behebt, die in Fallstudien beobachtet wurden. Es erweitert den Umfang der quantitativen Analysen um die Anfälligkeit für Seitenkanäle, und entwickelt Tools, die eine Automatisierung ermöglichen. Es zeigt Entwicklern auf, wo Abhilfemaßnahmen nötig sind und welche Techniken sie unter Miteinbezug des Kompromisses zwischen Sicherheit und Leistung wählen sollten.
Recent Publications
There are no publications
Record created 2023-01-19, last modified 2023-01-21