Bucur, Stefan; Kinder, Johannes; Candea, George: Making Automated Testing of Cloud Applications an Integral Component of PaaS , New York, NY , ACM . In: APSys '13 Proceedings of the 4th Asia-Pacific Workshop on Systems,  2013 . - S. 18:1-18:7 
Konferenzbeitrag / Conference Paper

Katzenbeisser, Stefan; Kinder, Johannes; Veith, Helmut: Malware Detection , New York ; Heidelberg , Springer . In: Encyclopedia of Cryptography and Security,  2011 . - S. 752-755 
Sammelbandbeitrag / Paper in Collective Volume

Christodorescu, Mihai; Kinder, Johannes; Jha, Somesh; Katzenbeisser, Stefan; Veith, Helmut: Malware Normalization , Madison, WI, USA  2005 
Technischer Report / Technical Report

Mundt, Michael; Baier, Harald: Mapping Cyber-Physical Threats for Critical Infrastructures , Cham, Switzerland , Springer . In: Critical Information Infrastructures Security,  2023 . - S. 164–179 
Konferenzbeitrag / Conference Paper

Godefroid, Patrice; Kinder, Johannes [Microsoft Corporation]: Memory Safety of Floating-Point Computations ; (US8782625B2). - 22.12.2011 
Patent

Homescu, Andrei; Stewart, Michael; Larsen, Per; Brunthaler, Stefan; Franz, Michael: Microgadgets: Size Does Matter in Turing-Complete Return-Oriented Programming . In: WOOT'12: Proceedings of the 6th USENIX conference on Offensive Technologies,  2012 . - S. 64-76 
Konferenzbeitrag / Conference Paper

Kinder, Johannes: Model Checking Malicious Code , München  2005 
Monografie / Monograph

Repel, Dusan; Kinder, Johannes; Cavallaro, Lorenzo: Modular Synthesis of Heap Exploits , New York , ACM . In: PLAS '17 Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security ,  2017 . - S. 25-35 
Konferenzbeitrag / Conference Paper

Brunthaler, Stefan: Multi-Level Quickening  2021 . Vortrag bei PLAS seminar, School of Computing, University of Kent, 25 October 2021 
Vortrag / Presentation

Brunthaler, Stefan: Next Challenges in Python Performance Optimziation  2024 . Vortrag bei Vortrag beim 40. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte 
Vortrag / Presentation