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 contributionResearchpeer-review

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

Höller, A., Krieg, A., Preschern, C., Steger, C., Kreiner, C. J., Bock, H., & Haid, J. (2013). Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs. In Proceedings of the Workshop on Embedded Systems Security (pp. 1-8). New York: Association of Computing Machinery. https://doi.org/10.1145/2527317.2527323

Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs. / Höller, Andrea; Krieg, Armin; Preschern, Christopher; Steger, Christian; Kreiner, Christian Josef; Bock, Holger; Haid, Josef.

Proceedings of the Workshop on Embedded Systems Security. New York : Association of Computing Machinery, 2013. p. 1-8.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Höller, A, Krieg, A, Preschern, C, Steger, C, Kreiner, CJ, Bock, H & Haid, J 2013, Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs. in Proceedings of the Workshop on Embedded Systems Security. Association of Computing Machinery, New York, pp. 1-8, Workshop on Embedded Systems Security (WESS '13), Montreal, Canada, 29/09/13. https://doi.org/10.1145/2527317.2527323
Höller A, Krieg A, Preschern C, Steger C, Kreiner CJ, Bock H et al. Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs. In Proceedings of the Workshop on Embedded Systems Security. New York: Association of Computing Machinery. 2013. p. 1-8 https://doi.org/10.1145/2527317.2527323
Höller, Andrea ; Krieg, Armin ; Preschern, Christopher ; Steger, Christian ; Kreiner, Christian Josef ; Bock, Holger ; Haid, Josef. / Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs. Proceedings of the Workshop on Embedded Systems Security. New York : Association of Computing Machinery, 2013. pp. 1-8
@inproceedings{6597c611b4be4a91b83bafe0933a0073,
title = "Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs",
author = "Andrea H{\"o}ller and Armin Krieg and Christopher Preschern and Christian Steger and Kreiner, {Christian Josef} and Holger Bock and Josef Haid",
year = "2013",
doi = "10.1145/2527317.2527323",
language = "English",
isbn = "978-1-4503-2145-7",
pages = "1--8",
booktitle = "Proceedings of the Workshop on Embedded Systems Security",
publisher = "Association of Computing Machinery",
address = "United States",

}

TY - GEN

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

AU - Höller, Andrea

AU - Krieg, Armin

AU - Preschern, Christopher

AU - Steger, Christian

AU - Kreiner, Christian Josef

AU - Bock, Holger

AU - Haid, Josef

PY - 2013

Y1 - 2013

UR - http://doi.acm.org/10.1145/2527317.2527323

U2 - 10.1145/2527317.2527323

DO - 10.1145/2527317.2527323

M3 - Conference contribution

SN - 978-1-4503-2145-7

SP - 1

EP - 8

BT - Proceedings of the Workshop on Embedded Systems Security

PB - Association of Computing Machinery

CY - New York

ER -