Univ.Ass. Dipl.-Ing. Dr.techn. Christian Krieg , BSc
Univ.Ass. Dipl.-Ing. Dr.techn. Christian Krieg, BSc


+43 1 58801 38464
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.