Name Card

Full name Familienname, Vorname
KRIEG, Christian
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-14 of 14 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Krieg-2023-Reflections on Trusting TrustHUB-am.pdf.jpgKrieg, Christian Reflections on Trusting TrustHUBInproceedings Konferenzbeitrag 30-Nov-2023
2Riesenberger-2023-Towards Power Characterization of FPGA Architectures To...-vor.pdf.jpgRiesenberger, Stefan ; Krieg, Christian Towards Power Characterization of FPGA Architectures To Enable Open-Source Power Estimation Using Micro-BenchmarksInproceedings Konferenzbeitrag 11-Apr-2023
3Tutzer, Benedikt ; Krieg, Christian ; Wolf, Clifford ; Jantsch, Axel Python Wraps Yosys for Rapid Open-Source EDA Application DevelopmentKonferenzbeitrag Inproceedings 2019
4Krieg, Christian Pattern-based hardware Trojan characterization for design security assessmentThesis Hochschulschrift2019
5Krieg, Christian ; Wolf, Clifford ; Jantsch, Axel ; Zseby, Tanja Toggle MUXKonferenzbeitrag Inproceedings 2017
6Krieg, Christian SHAPE-HT -- Secure Hardware by Automatic Property Extraction to Detect Design-Level Hardware TrojansPräsentation Presentation2016
7Krieg, Christian ; Wolf, Clifford ; Jantsch, Axel Malicious LUTKonferenzbeitrag Inproceedings 2016
8Krieg, Christian ; Neubacher, Daniel CHEFKonferenzbeitrag Inproceedings 2015
9Rathmair, Michael ; Schupfer, Florian ; Krieg, Christian Applied Formal Methods for Hardware Trojan DetectionKonferenzbeitrag Inproceedings 2014
10Krieg, Christian ; Rathmair, Michael ; Schupfer, Florian A Process for the Detection of Design-Level Hardware Trojans Using Verification MethodsKonferenzbeitrag Inproceedings 2014
11Krieg, Christian Device Library Attack: Silently Compromising the FPGA Design FlowPräsentation Presentation2014
12Krieg, Christian A lightweight Kerberos implementation for resource-constrained systems in wireless sensor networksThesis Hochschulschrift2013
13Krieg, Christian ; Dabrowski, Adrian ; Hobel, Heidelinde ; Krombholz, Katharina ; Weippl, Edgar Hardware MalwareArtikel Article2013
14Krieg, Christian ; Weippl, Edgar Malware in Hardware Infrastructure ComponentsBuchbeitrag Book Contribution2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Krieg, Christian Proceedings of the 3rd Workshop on Open-Source Design Automation (OSDA), 2023Proceedings Tagungsband31-Mar-2023
2Tutzer Benedikt - 2022 - A practical design methodology for hardware security...pdf.jpgTutzer, Benedikt A practical design methodology for hardware security primitivesThesis Hochschulschrift 2022
3Penz, Michael In-system formal verificationThesis Hochschulschrift2022
4Schieber-Knöbl, Constantin Bitstream equivalence checkingThesis Hochschulschrift2022
5Wassertheurer Philipp - 2021 - PGSLIFT - pattern graph specification language...pdf.jpgWassertheurer, Philipp PGSLIFT - pattern graph specification language information flow trackingThesis Hochschulschrift 2021
6Mosbeck Martin - 2020 - Subcircuit pattern matching in digital designs.pdf.jpgMosbeck, Martin Subcircuit pattern matching in digital designsThesis Hochschulschrift 2020