Univ.Ass. Dipl.-Ing. Christian Krieg , BSc
Univ.Ass. Dipl.-Ing. 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.
  • 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.