Proving SIFA protection of masked redundant circuits

Vedad Hadzic^*, Robert Primas, Roderick Bloem

^*Korrespondierende/r Autor/-in für diese Arbeit

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

1 Abgeschlossen

1 Ergebnisse

Abgeschlossen
FERMION - Formale Verifizierung maskierter Hardware-Implementierungen
Bloem, R.
2/01/19 → 1/01/22
Projekt: Forschungsprojekt