FERMION - Formale Verifizierung maskierter Hardware-Implementierungen

Projekt: Foschungsprojekt

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.
StatusAbschlussdatum
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.
  • Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs

    Gigerl, B., Hadzic, V., Primas, R., Mangard, S. & Bloem, R., 2021, (Eingereicht) Proceedings of the 30th USENIX Security Symposium. USENIX Association, 18 S.

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Datei
  • CocoAlma: A Versatile Masking Verifier

    Hadzic, V. & Bloem, R., 9 Juli 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (Hrsg.). S. 14-23 10 S. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access
    Datei
  • Proving SIFA Protection of Masked Redundant Circuits

    Hadžić, V., Primas, R. & Bloem, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021. Hou, Z. & Ganesh, V. (Hrsg.). Cham: Springer, S. 249-265 16 S. (Lecture Notes in Computer Science; Band 12971).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Datei