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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the Workshop on Embedded Systems Security
Place of PublicationNew York
PublisherAssociation of Computing Machinery
Pages1-8
ISBN (Print)978-1-4503-2145-7
DOIs
Publication statusPublished - 2013
EventWorkshop on Embedded Systems Security (WESS '13) - Montreal, Canada
Duration: 29 Sep 201329 Sep 2013

Conference

ConferenceWorkshop on Embedded Systems Security (WESS '13)
CountryCanada
CityMontreal
Period29/09/1329/09/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this