Power Contracts: Provably Complete Power Leakage Models for Processors

Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic^*, Stefan Mangard, Robert Primas

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

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

1 Abgeschlossen
1 Laufend

2 Ergebnisse

Laufend
AWARE - Hardware-gewährleistete Softwaresicherheit
Mangard, S.
1/05/22 → 30/04/25
Projekt: Forschungsprojekt
Abgeschlossen
FERMION - Formale Verifizierung maskierter Hardware-Implementierungen
Bloem, R.
2/01/19 → 1/01/22
Projekt: Forschungsprojekt