Johannes Kinder

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 27

Top Venues

CoRR

CCS

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Darmstadt University of Technology (PHD)

Education History

Darmstadt University of Technology

PHD

Publications

Zeliang Kan, Shae McFadden, Daniel Arp, Feargus Pendlebury, Roberto Jordaney, Johannes Kinder, Fabio Pierazzi, Lorenzo Cavallaro
TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time (Extended Version). CoRR (2024)
James Patrick-Evans, Moritz Dannehl, Johannes Kinder
XFL: Naming Functions in Binaries with Extreme Multi-label Learning. SP (2023)
Fabian Niklas Froh, Matías Federico Gobbi, Johannes Kinder
Differential Static Analysis for Detecting Malicious Updates to Open Source Packages. SCORED@CCS (2023)
Matías F. Gobbi, Johannes Kinder
Poster: Using CodeQL to Detect Malware in npm. CCS (2023)
Christopher Lenk, Johannes Kinder
Poster: Privacy Risks from Misconfigured Android Content Providers. CCS (2023)
Lorenzo Cavallaro, Johannes Kinder, Feargus Pendlebury, Fabio Pierazzi
Are Machine Learning Models for Malware Detection Ready for Prime Time? IEEE Secur. Priv. 21 (2) (2023)
Hernán Ponce de León, Johannes Kinder
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. IEEE Symposium on Security and Privacy (2022)
James Patrick-Evans, Moritz Dannehl, Johannes Kinder
XFL: eXtreme Function Labeling. CoRR (2021)
Hernán Ponce de León, Johannes Kinder
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. CoRR (2021)
Blake Loring, Johannes Kinder
Systematic Generation of Conformance Tests for JavaScript. CoRR (2021)
James Patrick-Evans, Lorenzo Cavallaro, Johannes Kinder
Probabilistic Naming of Functions in Stripped Binaries. ACSAC (2020)
Daniel Lehmann, Johannes Kinder, Michael Pradel
Everything Old is New Again: Binary Security of WebAssembly. USENIX Security Symposium (2020)
Blake Loring, Duncan Mitchell, Johannes Kinder
Sound regular expression semantics for dynamic symbolic execution of JavaScript. PLDI (2019)
Feargus Pendlebury, Fabio Pierazzi, Roberto Jordaney, Johannes Kinder, Lorenzo Cavallaro
TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time. USENIX Security Symposium (2019)
Duncan Mitchell, Johannes Kinder
A Formal Model for Checking Cryptographic API Usage in JavaScript. ESORICS (1) (2019)
Feargus Pendlebury, Fabio Pierazzi, Roberto Jordaney, Johannes Kinder, Lorenzo Cavallaro
TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time. CoRR (2018)
Feargus Pendlebury, Fabio Pierazzi, Roberto Jordaney, Johannes Kinder, Lorenzo Cavallaro
Enabling Fair ML Evaluations for Security. CCS (2018)
Claudio Rizzo, Lorenzo Cavallaro, Johannes Kinder
BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews. RAID (2018)
Blake Loring, Duncan Mitchell, Johannes Kinder
Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript. CoRR (2018)
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder
Checking cryptographic API usage with composable annotations (short paper). PEPM (2018)
Blake Loring, Duncan Mitchell, Johannes Kinder
ExpoSE: practical symbolic execution of standalone JavaScript. SPIN (2017)
Dusan Repel, Johannes Kinder, Lorenzo Cavallaro
Modular Synthesis of Heap Exploits. PLAS@CCS (2017)
James Patrick-Evans, Lorenzo Cavallaro, Johannes Kinder
POTUS: Probing Off-The-Shelf USB Drivers with Symbolic Fault Injection. WOOT (2017)
Guillermo Suarez-Tangil, Santanu Kumar Dash, Mansour Ahmadi, Johannes Kinder, Giorgio Giacinto, Lorenzo Cavallaro
DroidSieve: Fast and Accurate Classification of Obfuscated Android Malware. CODASPY (2017)
Claudio Rizzo, Lorenzo Cavallaro, Johannes Kinder
BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews. CoRR (2017)
Sebastian Schrittwieser, Stefan Katzenbeisser, Johannes Kinder, Georg Merzdovnik, Edgar R. Weippl
Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis? ACM Comput. Surv. 49 (1) (2016)
Santanu Kumar Dash, Guillermo Suarez-Tangil, Salahuddin J. Khan, Kimberly Tam, Mansour Ahmadi, Johannes Kinder, Lorenzo Cavallaro
DroidScribe: Classifying Android Malware Based on Runtime Behavior. IEEE Symposium on Security and Privacy Workshops (2016)
Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder
High System-Code Security with Low Overhead. IEEE Symposium on Security and Privacy (2015)
Johannes Kinder
Tutorial I: Efficient symbolic execution for software testing. MEMOCODE (2014)
Johannes Kinder
Efficient symbolic execution for software testing. FMCAD (2014)
Stefan Bucur, Johannes Kinder, George Candea
Prototyping symbolic execution engines for interpreted languages. ASPLOS (2014)
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
Efficient State Merging in Symbolic Execution. Software Engineering (2014)
Stefan Bucur, Johannes Kinder, George Candea
Making automated testing of cloud applications an integral component of PaaS. APSys (2013)
Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, George Candea
Automated Debugging for Arbitrarily Long Executions. HotOS (2013)
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
Efficient state merging in symbolic execution. PLDI (2012)
Johannes Kinder
Towards Static Analysis of Virtualization-Obfuscated Binaries. WCRE (2012)
Johannes Kinder, Dmitry Kravchenko
Alternating Control Flow Reconstruction. VMCAI (2012)
Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri
Efficient model checking of fault-tolerant distributed protocols. DSN (2011)
Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri
Supporting domain-specific state space reductions through local partial-order reduction. ASE (2011)
Johannes Kinder, Helmut Veith
Precise static analysis of untrusted driver binaries. FMCAD (2010)
Patrice Godefroid, Johannes Kinder
Proving memory safety of floating-point computations by combining static and dynamic program analysis. ISSTA (2010)
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Secur. Comput. 7 (4) (2010)
Johannes Kinder, Florian Zuleger, Helmut Veith
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. VMCAI (2009)
Johannes Kinder, Helmut Veith
Jakstab: A Static Analysis Platform for Binaries. CAV (2008)
Andreas Holzer, Johannes Kinder, Helmut Veith
Using Verification Technology to Specify and Detect Malware. EUROCAST (2007)
Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith
Software transformations to improve malware detection. J. Comput. Virol. 3 (4) (2007)
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Detecting Malicious Code by Model Checking. DIMVA (2005)

Johannes Kinder.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Johannes Kinder