Mitchell, Duncan; Kinder, Johannes:  A Formal Model for Checking Cryptographic API Usage in JavaScript , Cham , Springer . In: Computer Security – ESORICS 2019,  2019 . - p. 341-360 
Konferenzbeitrag / Conference Paper

Desharnais, Martin; Brunthaler, Stefan:  A Generic Framework for Verified Compilers Using Isabelle/HOL's Locales  2020 . - p. 1-8 
Konferenzbeitrag / Conference Paper

Desharnais, Martin; Brunthaler, Stefan:  A Generic Framework for Verified Compilers Using Isabelle/HOL's Locales . In: 31es Journées Francophones des Langages Applicatifs (JFLA),  2020 
Konferenzbeitrag / Conference Paper

Wagner, Jonas; Kuznetsov, Volodymyr; Kinder, Johannes; Nadeem, Azqa; Candea, George:  ASAP: High Security at Low Overhead  2014 
Vortrag / Presentation

Qunaibit, Mohaned; Brunthaler, Stefan; Na, Yeoul; Volckaert, Stijn; Franz, Michael:  Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization , Dagstuhl, Germany , Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik . In: 32nd European Conference on Object-Oriented Programming (ECOOP '18),  2018 . - p. 16:1--16:29 
Konferenzbeitrag / Conference Paper

Zhang, Wei; Larsen, Per; Brunthaler, Stefan; Franz, Michael:  Accelerating Iterators in Optimizing AST Interpreters . In: OOPSLA '14: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications,  2014 . - p. 727-743 
Konferenzbeitrag / Conference Paper

Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George [Ecole Polytechnique Federale de Lausanne]: Advantageous State Merging During Symbolic Analysis ; (US9141354B2). - 24.10.2013 
Patent

Kinder, Johannes; Kravchenko, Dmitry:  Alternating Control Flow Reconstruction , Berlin ; Heidelberg , Springer . In: Verification, Model Checking, and Abstract Interpretation,  2012 . - p. 267-282 
Konferenzbeitrag / Conference Paper

Kinder, Johannes; Veith, Helmut; Zuleger, Florian:  An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries , Berlin ; Heidelberg , Springer . In: Verification, Model Checking, and Abstract Interpretation,  2009 . - p. 214-228 
Konferenzbeitrag / Conference Paper

Zamfir, Cristian; Kasikci, Baris; Kinder, Johannes; Bugnion, Edouard; Candea, George:  Automated Debugging for Arbitrarily Long Executions , USENIX . In: Proceedings 14th Workshop on Hot Topics in Operating Systems (HotOS),  2013 
Konferenzbeitrag / Conference Paper