FERMION - Formale Verifizierung maskierter Hardware-Implementierungen

Projekt: Foschungsprojekt

Beschreibung

Immunität von Schaltungen gegen leistungsbasierte Seitenkanalangriffen formal zu beweisen und automatisch nachweisbar resistente Systeme zu konstruieren. Aufbauend auf vorhandenen Ergebnissen werden vollständige Methoden entwickelt, skalierbar auf industrielle Schaltkreise und leistungsfähige Angriffsmodelle. Die entwickelnden Programme werden ungeschützte Schaltungen automatisch in resistente Schaltungen überführen. Diese generierten Schaltungen sind nachweislich korrekt, wodurch der Konstruktionsaufwand und der externe Zertifizierungsaufwand erheblich reduziert wird.
StatusLaufend
Tatsächlicher Beginn/ -es Ende2/01/191/01/22