FERMION - Formale Verifizierung maskierter Hardware-Implementierungen

Projekt: Forschungsprojekt

Projektdetails

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.
StatusAbgeschlossen
Tatsächlicher Beginn/ -es Ende2/01/191/01/22

Fingerprint

Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen Fingerprint.