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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelProceedings of the Workshop on Embedded Systems Security
ErscheinungsortNew York
Herausgeber (Verlag)Association of Computing Machinery
Seiten1-8
ISBN (Print)978-1-4503-2145-7
DOIs
PublikationsstatusVeröffentlicht - 2013
VeranstaltungWorkshop on Embedded Systems Security (WESS '13) - Montreal, Kanada
Dauer: 29 Sept. 201329 Sept. 2013

Konferenz

KonferenzWorkshop on Embedded Systems Security (WESS '13)
Land/GebietKanada
OrtMontreal
Zeitraum29/09/1329/09/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren