Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs

Andrea Höller, Armin Krieg, Christopher Preschern, Christian Steger, Christian Josef Kreiner, Holger Bock, Josef Haid

Institut für Technische Informatik (4480)

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

1 Ergebnisse

Filter

Laufend
Hardware/Software-Codesign
Steger, C., Seifert, C., Stelzer, P., Fiala, G. & Basic, F.
1/01/95 → …
Projekt: Arbeitsgebiet