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

Cavallaro, Lorenzo; Kinder, Johannes; Afroz, Sadia; Biggio, Battista; Carlini, Nicholas; Elovici, Yuval; Shabtai, Asaf (Ed.):  AISec'19: Proceedings of the 12th ACM Workshop on Artificial Intelligence and Security , New York, NY , Association for Computing Machinery  2019 
Konferenzband / Conference Publication

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