DK LogICS - Logische Methoden in der Informatik

Bloem, Roderick (Teilnehmer (Co-Investigator))
Braud-Santoni, Nicolas (Teilnehmer (Co-Investigator))

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Projekt: Forschungsprojekt

1 Beitrag in einem Konferenzband

1 Ergebnisse

2018

Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Band 10821. S. 321-353 33 S. (Lecture Notes in Computer Science).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Open Access
Datei