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

doi:10.1145/2527317.2527323

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

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the Workshop on Embedded Systems Security
Place of Publication	New York
Publisher	Association of Computing Machinery
Pages	1-8
ISBN (Print)	978-1-4503-2145-7
DOIs	https://doi.org/10.1145/2527317.2527323
Publication status	Published - 2013
Event	Workshop on Embedded Systems Security (WESS '13) - Montreal, Canada Duration: 29 Sept 2013 → 29 Sept 2013

Conference

Conference	Workshop on Embedded Systems Security (WESS '13)
Country/Territory	Canada
City	Montreal
Period	29/09/13 → 29/09/13

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

10.1145/2527317.2527323

WESS13_Hoeller_Automized High-Level Evaluation of Security Protperties for RTHL Hardware.pdfFinal published version, 636 KB

Cite this

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

@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",

note = "Workshop on Embedded Systems Security (WESS '13) ; Conference date: 29-09-2013 Through 29-09-2013",

}

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 paper

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

T2 - Workshop on Embedded Systems Security (WESS '13)

Y2 - 29 September 2013 through 29 September 2013

ER -

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

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Hardware/Software-Codesign

Cite this

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

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

Hardware/Software-Codesign

Cite this