Konferenzveröffentlichung

Alexopoulos, Nikolaos ; Egert, Rolf ; Grube, Tim ; Mühlhäuser, Max
Hrsg.: Cavallaro, Lorenzo ; Kinder, Johannes ; Wang, XiaoFeng ; Katz, Jonathan (2019)
Poster: Towards Automated Quantitative Analysis and Forecasting of Vulnerability Discoveries in Debian GNU/Linux.
ACM SIGSAC Conference on Computer and Communications Security, CCS 2019. London, UK (11.11.2019-15.11.2019)
doi: 10.1145/3319535.3363285
Konferenzveröffentlichung, Bibliographie

Kinder, Johannes ; Veith, Helmut
Hrsg.: Bloem, Roderick ; Sharygina, Natasha (2010)
Precise Static Analysis of Untrusted Driver Binaries.
Konferenzveröffentlichung, Bibliographie

Kinder, Johannes ; Veith, Helmut ; Zuleger, Florian (2009)
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.
doi: 10.1007/978-3-540-93900-9_19
Konferenzveröffentlichung, Bibliographie

Kinder, Johannes ; Veith, Helmut (2008)
Jakstab: A Static Analysis Platform for Binaries.
Konferenzveröffentlichung, Bibliographie

Dissertation

Kinder, Johannes (2010)
Static Analysis of x86 Executables.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung