Lohmann, David:
"Russland hat bei der IT einen großen Wettbewerbsvorsprung"
. In: Bayerische Staatszeitung,
2022
, 24. März 2022

Sonstiges / Other Publication

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
. 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