Univ.Ass. Dipl.-Ing. Dr.techn.
Christian
Krieg
,
BSc
Kontaktinformation
- Telefon:
- +43 1 58801 38464
- E-Mail:
- christian.krieg@tuwien.ac.at
- Raum:
- CA0217
- TISS:
- TISS
Aufklappen um alle Publikationen (TU Wien) zu sehen
Alle Publikationen
- M. Rathmair, F. Schupfer, C. Krieg, Applied Formal Methods for Hardware Trojan Detection, in Proceedings of ISCAS2014, International Symposium on Circuits and Systems, 2014, S. 169 - 172.
- C. Krieg, M. Rathmair, F. Schupfer, A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods, in Proceedings of the 11th IEEE International Conference on Embedded Software and Systems (ICESS 2014), S. 6, France, Paris, 2014.
- C. Krieg, C. Wolf, A. Jantsch, Malicious LUT: A Stealthy FPGA Trojan Injected and Triggered by the Design Flow, in Proceedings of the 35th International Conference on Computer-Aided Design (ICCAD), 2016, S. 43:1 - 43:8.
- C. Krieg, C. Wolf, A. Jantsch, T. Zseby, Toggle MUX: How X-optimism can lead to malicious hardware, in Proceedins of the Design Automation Conference (DAC), S. 6, Austin, 2017.
- B. Tutzer, C. Krieg, C. Wolf, A. Jantsch, Python Wraps Yosys for Rapid Open-Source EDA Application Development, in Proceedings of the First Workshop on Open-Source Design Automation (OSDA) 2019, S. 4, Florenz, 2019.
- C. Krieg, Device Library Attack: Silently Compromising the FPGA Design Flow, Presentation: Formal Methods in Computer-Aided Design, Lausanne, Switzerland.
- C. Krieg, SHAPE-HT -- Secure Hardware by Automatic Property Extraction to Detect Design-Level Hardware Trojans, Presentation: MESS16 - Microelectronic Systems Symposium, Wien.
- C. Krieg, Pattern-Based Hardware Trojan Characterization for Design Security Assessment, Supervisor: T. Zseby, G. Pravadelli, A. Steininger, E389, 2019.