Christian Krieg is an author at TU Wien specializing in hardware security, computer engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationComputer EngineeringComputer Architecture
Publications per year
2013–2017
5
5
Christian Krieg, Clifford Wolf, Axel Jantsch · 2016 · 55 citations
Applied formal methods for hardware Trojan detection
Michael Rathmair, Florian Schupfer, Christian Krieg · 2014 · 44 citations
Christian Krieg, Adrian Dabrowski, Heidelinde Hobel et al. · Synthesis lectures on information security, privacy, and trust · 2013 · 13 citations
Christian Krieg, Clifford Wolf, Axel Jantsch et al. · 2017 · 12 citations
Rows per page
1–5 of 5