Detecting Malicious Code by Model Checking. - Johannes Kinder; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (DIMVA, 2005)

Using Verification Technology to Specify and Detect Malware. - Andreas Holzer; Johannes Kinder; Helmut Veith (EUROCAST, 2007)

Software transformations to improve malware detection. - Mihai Christodorescu; Somesh Jha; Johannes Kinder; Stefan Katzenbeisser 001; Helmut Veith (J. Comput. Virol., 2007)

Jakstab: A Static Analysis Platform for Binaries. - Johannes Kinder; Helmut Veith (CAV, 2008)

An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. - Johannes Kinder; Florian Zuleger; Helmut Veith (VMCAI, 2009)

Precise static analysis of untrusted driver binaries. - Johannes Kinder; Helmut Veith (FMCAD, 2010)

Proving memory safety of floating-point computations by combining static and dynamic program analysis. - Patrice Godefroid; Johannes Kinder (ISSTA, 2010)

Proactive Detection of Computer Worms Using Model Checking. - Johannes Kinder; Stefan Katzenbeisser 001; Christian Schallhart; Helmut Veith (IEEE Trans. Dependable Secur. Comput., 2010)

Static analysis of x86 executables (Statische Analyse von Programmen in x86-Maschinensprache). - Johannes Kinder (2010)

Efficient model checking of fault-tolerant distributed protocols. - Péter Bokor; Johannes Kinder; Marco Serafini; Neeraj Suri (DSN, 2011)

Supporting domain-specific state space reductions through local partial-order reduction. - Péter Bokor; Johannes Kinder; Marco Serafini; Neeraj Suri (ASE, 2011)

Malware Detection. - Stefan Katzenbeisser 001; Johannes Kinder; Helmut Veith (Encyclopedia of Cryptography and Security (2nd Ed.), 2011)

Efficient state merging in symbolic execution. - Volodymyr Kuznetsov; Johannes Kinder; Stefan Bucur; George Candea (PLDI, 2012)

Alternating Control Flow Reconstruction. - Johannes Kinder; Dmitry Kravchenko (VMCAI, 2012)

Towards Static Analysis of Virtualization-Obfuscated Binaries. - Johannes Kinder (WCRE, 2012)

Making automated testing of cloud applications an integral component of PaaS. - Stefan Bucur; Johannes Kinder; George Candea (APSys, 2013)

Automated Debugging for Arbitrarily Long Executions. - Cristian Zamfir; Baris Kasikci; Johannes Kinder; Edouard Bugnion; George Candea (HotOS, 2013)

Prototyping symbolic execution engines for interpreted languages. - Stefan Bucur; Johannes Kinder; George Candea (ASPLOS, 2014)

Efficient symbolic execution for software testing. - Johannes Kinder (FMCAD, 2014)

Tutorial I: Efficient symbolic execution for software testing. - Johannes Kinder (MEMOCODE, 2014)

High System-Code Security with Low Overhead. - Jonas Wagner; Volodymyr Kuznetsov; George Candea; Johannes Kinder (IEEE Symposium on Security and Privacy, 2015)

DroidScribe: Classifying Android Malware Based on Runtime Behavior. - Santanu Kumar Dash 001; Guillermo Suarez-Tangil; Salahuddin J. Khan; Kimberly Tam; Mansour Ahmadi; Johannes Kinder; Lorenzo Cavallaro (IEEE Symposium on Security and Privacy Workshops, 2016)

Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis? - Sebastian Schrittwieser; Stefan Katzenbeisser 001; Johannes Kinder; Georg Merzdovnik; Edgar R. Weippl (ACM Comput. Surv., 2016)

Modular Synthesis of Heap Exploits. - Dusan Repel; Johannes Kinder; Lorenzo Cavallaro (PLAS@CCS, 2017)

DroidSieve: Fast and Accurate Classification of Obfuscated Android Malware. - Guillermo Suarez-Tangil; Santanu Kumar Dash 001; Mansour Ahmadi; Johannes Kinder; Giorgio Giacinto; Lorenzo Cavallaro (CODASPY, 2017)

ExpoSE: practical symbolic execution of standalone JavaScript. - Blake Loring; Duncan Mitchell; Johannes Kinder (SPIN, 2017)

POTUS: Probing Off-The-Shelf USB Drivers with Symbolic Fault Injection. - James Patrick-Evans; Lorenzo Cavallaro; Johannes Kinder (WOOT, 2017)

Enabling Fair ML Evaluations for Security. - Feargus Pendlebury; Fabio Pierazzi; Roberto Jordaney; Johannes Kinder; Lorenzo Cavallaro (CCS, 2018)

Checking cryptographic API usage with composable annotations (short paper). - Duncan Mitchell; L. Thomas van Binsbergen; Blake Loring; Johannes Kinder (PEPM, 2018)

BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews. - Claudio Rizzo; Lorenzo Cavallaro; Johannes Kinder (RAID, 2018)

A Formal Model for Checking Cryptographic API Usage in JavaScript. - Duncan Mitchell; Johannes Kinder (ESORICS (1), 2019)

Sound regular expression semantics for dynamic symbolic execution of JavaScript. - Blake Loring; Duncan Mitchell; Johannes Kinder (PLDI, 2019)

TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time. - Feargus Pendlebury; Fabio Pierazzi; Roberto Jordaney; Johannes Kinder; Lorenzo Cavallaro (USENIX Security Symposium, 2019)

Probabilistic Naming of Functions in Stripped Binaries. - James Patrick-Evans; Lorenzo Cavallaro; Johannes Kinder (ACSAC, 2020)

Everything Old is New Again: Binary Security of WebAssembly. - Daniel Lehmann 002; Johannes Kinder; Michael Pradel (USENIX Security Symposium, 2020)

XFL: eXtreme Function Labeling. - James Patrick-Evans; Moritz Dannehl; Johannes Kinder (CoRR, 2021)

Systematic Generation of Conformance Tests for JavaScript. - Blake Loring; Johannes Kinder (CoRR, 2021)

Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. - Hernán Ponce de León; Johannes Kinder (SP, 2022)

Poster: Using CodeQL to Detect Malware in npm. - Matías F. Gobbi; Johannes Kinder (CCS, 2023)

Poster: Privacy Risks from Misconfigured Android Content Providers. - Christopher Lenk; Johannes Kinder (CCS, 2023)

Differential Static Analysis for Detecting Malicious Updates to Open Source Packages. - Fabian Niklas Froh; Matías Federico Gobbi; Johannes Kinder (SCORED@CCS, 2023)

XFL: Naming Functions in Binaries with Extreme Multi-label Learning. - James Patrick-Evans; Moritz Dannehl; Johannes Kinder (SP, 2023)

Are Machine Learning Models for Malware Detection Ready for Prime Time? - Lorenzo Cavallaro; Johannes Kinder; Feargus Pendlebury; Fabio Pierazzi (IEEE Secur. Priv., 2023)

GENIE: Guarding the npm Ecosystem with Semantic Malware Detection. - Matías F. Gobbi; Johannes Kinder (SecDev, 2024)

TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time (Extended Version). - Zeliang Kan; Shae McFadden; Daniel Arp; Feargus Pendlebury; Roberto Jordaney; Johannes Kinder; Fabio Pierazzi; Lorenzo Cavallaro (CoRR, 2024)

BLens: Contrastive Captioning of Binary Functions using Ensemble Embedding. - Tristan Benoit; Yunru Wang; Moritz Dannehl; Johannes Kinder (CoRR, 2024)

CodeX: Contextual Flow Tracking for Browser Extensions. - Mohammad M. Ahmadpanah; Matías F. Gobbi; Daniel Hedin; Johannes Kinder; Andrei Sabelfeld (CODASPY, 2025)

Which Instructions Matter the Most: A Saliency Analysis of Binary Function Embedding Models. - Moritz Dannehl; Samuel Valenzuela; Johannes Kinder (SP (Workshops), 2025)