| 2026 | AsiaCCS | ALPHA: Active Learning with PAC-Bayesian Theory for Android Malware Detection. | Yaomengxi Han, Yunru Wang, Debarghya Ghoshdastidar, Johannes Kinder |
| 2025 | SP | Which Instructions Matter the Most: A Saliency Analysis of Binary Function Embedding Models. | Moritz Dannehl, Samuel Valenzuela, Johannes Kinder |
| 2023 | CCS | Poster: Using CodeQL to Detect Malware in npm. | Matas F. Gobbi, Johannes Kinder |
| 2023 | CCS | Poster: Privacy Risks from Misconfigured Android Content Providers. | Christopher Lenk, Johannes Kinder |
| 2023 | SP | XFL: Naming Functions in Binaries with Extreme Multi-label Learning. | James Patrick-Evans, Moritz Dannehl, Johannes Kinder |
| 2022 | SP | Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. | Hernn Ponce de Len, Johannes Kinder |
| 2020 | ACSAC | Probabilistic Naming of Functions in Stripped Binaries. | James Patrick-Evans, Lorenzo Cavallaro, Johannes Kinder |
| 2019 | ESORICS | A Formal Model for Checking Cryptographic API Usage in JavaScript. | Duncan Mitchell, Johannes Kinder |
| 2019 | PLDI | Sound regular expression semantics for dynamic symbolic execution of JavaScript. | Blake Loring, Duncan Mitchell, Johannes Kinder |
| 2018 | CCS | Enabling Fair ML Evaluations for Security. | Feargus Pendlebury, Fabio Pierazzi, Roberto Jordaney, Johannes Kinder, Lorenzo Cavallaro |
| 2018 | PEPM | Checking cryptographic API usage with composable annotations (short paper). | Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder |
| 2018 | RAID | BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews. | Claudio Rizzo, Lorenzo Cavallaro, Johannes Kinder |
| 2017 | CCS | Modular Synthesis of Heap Exploits. | Dusan Repel, Johannes Kinder, Lorenzo Cavallaro |
| 2016 | SP | DroidScribe: Classifying Android Malware Based on Runtime Behavior. | Santanu Kumar Dash, Guillermo Suarez-Tangil, Salahuddin J. Khan, Kimberly Tam, Mansour Ahmadi, Johannes Kinder, Lorenzo Cavallaro |
| 2015 | SP | High System-Code Security with Low Overhead. | Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder |
| 2014 | ASPLOS | Prototyping symbolic execution engines for interpreted languages. | Stefan Bucur, Johannes Kinder, George Candea |
| 2014 | FMCAD | Efficient symbolic execution for software testing. | Johannes Kinder |
| 2014 | MEMOCODE | Tutorial I: Efficient symbolic execution for software testing. | Johannes Kinder |
| 2013 | HotOS | Automated Debugging for Arbitrarily Long Executions. | Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, George Candea |
| 2012 | PLDI | Efficient state merging in symbolic execution. | Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea |
| 2012 | VMCAI | Alternating Control Flow Reconstruction. | Johannes Kinder, Dmitry Kravchenko |
| 2011 | DSN | Efficient model checking of fault-tolerant distributed protocols. | Pter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri |
| 2010 | FMCAD | Precise static analysis of untrusted driver binaries. | Johannes Kinder, Helmut Veith |
| 2010 | ISSTA | Proving memory safety of floating-point computations by combining static and dynamic program analysis. | Patrice Godefroid, Johannes Kinder |
| 2009 | VMCAI | An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. | Johannes Kinder, Florian Zuleger, Helmut Veith |
| 2008 | CAV | Jakstab: A Static Analysis Platform for Binaries. | Johannes Kinder, Helmut Veith |
| 2005 | DIMVA | Detecting Malicious Code by Model Checking. | Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |