FERMION - Formale Verifizierung maskierter Hardware-Implementierungen

Bloem, Roderick (Teilnehmer (Co-Investigator))

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Projekt: Forschungsprojekt

5 Beitrag in einem Konferenzband
1 Artikel

1 Ergebnisse

Filter

2022
Proving SIFA protection of masked redundant circuits
Hadzic, V., Primas, R. & Bloem, R., Sept. 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 471-481 11 S.
Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Open Access