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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. (ACM, 2019)

Proceedings of the 12th ACM Workshop on Artificial Intelligence and Security, AISec@CCS 2019, London, UK, November 15, 2019. (ACM, 2019)

Proceedings of the ACM Workshop on Cyber-Physical Systems Security & Privacy, CPS-SPC@CCS 2019, London, UK, November 11, 2019. (ACM, 2019)

Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, CCS 2019, London, United Kingdom, November 11-15, 2019 (ACM, 2019)

Proceedings of the 18th ACM Workshop on Privacy in the Electronic Society, WPES@CCS 2019, London, UK, November 11, 2019. (ACM, 2019)

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

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

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

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

Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript. - Loring, Blake; Mitchell, Duncan; Kinder, Johannes (CoRR, 2018)

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

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

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

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

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

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

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

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

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

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

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

Efficient State Merging in Symbolic Execution. - Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George (2014)

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

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

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

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

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

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

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

Malware Detection. - Katzenbeisser, Stefan; Kinder, Johannes; Veith, Helmut (2011)

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

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

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

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

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

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

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

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

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