Johannes Kinder

61 papers A* 15A 5B 5C 3Journal 14Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	BLens: Contrastive Captioning of Binary Functions using Ensemble Embedding. USENIX Security Symposium Tristan Benoit, Yunru Wang, Moritz Dannehl, Johannes Kinder
2025	—	`conf`	CodeX: Contextual Flow Tracking for Browser Extensions. CODASPY Mohammad M. Ahmadpanah, Matías F. Gobbi, Daniel Hedin, Johannes Kinder, Andrei Sabelfeld
2025	J	`jnl`	Match & Mend: Minimally Invasive Local Reassembly for Patching N-day Vulnerabilities in ARM Binaries. CoRR Sebastian Jänich, Merlin Sievers, Johannes Kinder
2025	J	`jnl`	SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications. CoRR Oliver Braunsdorf, Tim Lange, Konrad Hohentanner, Julian Horsch, Johannes Kinder
2025	—	`conf`	Which Instructions Matter the Most: A Saliency Analysis of Binary Function Embedding Models. SP (Workshops) Moritz Dannehl, Samuel Valenzuela, Johannes Kinder
2024	J	`jnl`	BLens: Contrastive Captioning of Binary Functions using Ensemble Embedding. CoRR Tristan Benoit, Yunru Wang, Moritz Dannehl, Johannes Kinder
2024	—	`conf`	GENIE: Guarding the npm Ecosystem with Semantic Malware Detection. SecDev Matías F. Gobbi, Johannes Kinder
2024	J	`jnl`	TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time (Extended Version). CoRR Zeliang Kan, Shae McFadden, Daniel Arp, Feargus Pendlebury, Roberto Jordaney, Johannes Kinder, Fabio Pierazzi, Lorenzo Cavallaro
2023	J	`jnl`	Are Machine Learning Models for Malware Detection Ready for Prime Time? IEEE Secur. Priv. Lorenzo Cavallaro, Johannes Kinder, Feargus Pendlebury, Fabio Pierazzi
2023	—	`conf`	Differential Static Analysis for Detecting Malicious Updates to Open Source Packages. SCORED@CCS Fabian Niklas Froh, Matías Federico Gobbi, Johannes Kinder
2023	A*	`conf`	Poster: Privacy Risks from Misconfigured Android Content Providers. CCS Christopher Lenk, Johannes Kinder
2023	A*	`conf`	Poster: Using CodeQL to Detect Malware in npm. CCS Matías F. Gobbi, Johannes Kinder
2023	A*	`conf`	XFL: Naming Functions in Binaries with Extreme Multi-label Learning. SP James Patrick-Evans, Moritz Dannehl, Johannes Kinder
2022	A*	`conf`	Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. SP Hernán Ponce de León, Johannes Kinder
2021	J	`jnl`	Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks. CoRR Hernán Ponce de León, Johannes Kinder
2021	J	`jnl`	Systematic Generation of Conformance Tests for JavaScript. CoRR Blake Loring, Johannes Kinder
2021	J	`jnl`	XFL: eXtreme Function Labeling. CoRR James Patrick-Evans, Moritz Dannehl, Johannes Kinder
2020	A*	`conf`	Everything Old is New Again: Binary Security of WebAssembly. USENIX Security Symposium Daniel Lehmann, Johannes Kinder, Michael Pradel
2020	A	`conf`	Probabilistic Naming of Functions in Stripped Binaries. ACSAC James Patrick-Evans, Lorenzo Cavallaro, Johannes Kinder
2019	—	`conf`	A Formal Model for Checking Cryptographic API Usage in JavaScript. ESORICS (1) Duncan Mitchell, Johannes Kinder
2019	—	`ed.`	Proceedings of the 12th ACM Workshop on Artificial Intelligence and Security, AISec@CCS 2019, London, UK, November 15, 2019. AISec@CCS Lorenzo Cavallaro, Johannes Kinder, Sadia Afroz, Battista Biggio, Nicholas Carlini, Yuval Elovici, Asaf Shabtai
2019	—	`ed.`	Proceedings of the 18th ACM Workshop on Privacy in the Electronic Society, WPES@CCS 2019, London, UK, November 11, 2019. WPES@CCS Lorenzo Cavallaro, Johannes Kinder, Josep Domingo-Ferrer
2019	A*	`ed.`	Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. CCS Lorenzo Cavallaro, Johannes Kinder, Xiaofeng Wang, Jonathan Katz
2019	—	`ed.`	Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, CCS 2019, London, United Kingdom, November 11-15, 2019 FEAST@CCS Lorenzo Cavallaro, Johannes Kinder, Adam Doupé, Zhiqiang Lin
2019	—	`ed.`	Proceedings of the ACM Workshop on Cyber-Physical Systems Security & Privacy, CPS-SPC@CCS 2019, London, UK, November 11, 2019. CPS-SPC@CCS Lorenzo Cavallaro, Johannes Kinder, Thorsten Holz
2019	A*	`conf`	Sound regular expression semantics for dynamic symbolic execution of JavaScript. PLDI Blake Loring, Duncan Mitchell, Johannes Kinder
2019	A*	`conf`	TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time. USENIX Security Symposium Feargus Pendlebury, Fabio Pierazzi, Roberto Jordaney, Johannes Kinder, Lorenzo Cavallaro
2018	A	`conf`	BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews. RAID Claudio Rizzo, Lorenzo Cavallaro, Johannes Kinder
2018	C	`conf`	Checking cryptographic API usage with composable annotations (short paper). PEPM Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder
2018	A*	`conf`	Enabling Fair ML Evaluations for Security. CCS Feargus Pendlebury, Fabio Pierazzi, Roberto Jordaney, Johannes Kinder, Lorenzo Cavallaro
2018	J	`jnl`	Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript. CoRR Blake Loring, Duncan Mitchell, Johannes Kinder
2018	J	`jnl`	TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time. CoRR Feargus Pendlebury, Fabio Pierazzi, Roberto Jordaney, Johannes Kinder, Lorenzo Cavallaro
2017	J	`jnl`	BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews. CoRR Claudio Rizzo, Lorenzo Cavallaro, Johannes Kinder
2017	—	`conf`	DroidSieve: Fast and Accurate Classification of Obfuscated Android Malware. CODASPY Guillermo Suarez-Tangil, Santanu Kumar Dash, Mansour Ahmadi, Johannes Kinder, Giorgio Giacinto, Lorenzo Cavallaro
2017	—	`conf`	ExpoSE: practical symbolic execution of standalone JavaScript. SPIN Blake Loring, Duncan Mitchell, Johannes Kinder
2017	—	`conf`	Modular Synthesis of Heap Exploits. PLAS@CCS Dusan Repel, Johannes Kinder, Lorenzo Cavallaro
2017	—	`conf`	POTUS: Probing Off-The-Shelf USB Drivers with Symbolic Fault Injection. WOOT James Patrick-Evans, Lorenzo Cavallaro, Johannes Kinder
2016	—	`conf`	DroidScribe: Classifying Android Malware Based on Runtime Behavior. IEEE Symposium on Security and Privacy Workshops Santanu Kumar Dash, Guillermo Suarez-Tangil, Salahuddin J. Khan, Kimberly Tam, Mansour Ahmadi, Johannes Kinder, Lorenzo Cavallaro
2016	J	`jnl`	Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis? ACM Comput. Surv. Sebastian Schrittwieser, Stefan Katzenbeisser, Johannes Kinder, Georg Merzdovnik, Edgar R. Weippl
2015	A*	`conf`	High System-Code Security with Low Overhead. IEEE Symposium on Security and Privacy Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder
2014	C	`conf`	Efficient State Merging in Symbolic Execution. Software Engineering Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
2014	B	`conf`	Efficient symbolic execution for software testing. FMCAD Johannes Kinder
2014	A*	`conf`	Prototyping symbolic execution engines for interpreted languages. ASPLOS Stefan Bucur, Johannes Kinder, George Candea
2014	C	`conf`	Tutorial I: Efficient symbolic execution for software testing. MEMOCODE Johannes Kinder
2013	A	`conf`	Automated Debugging for Arbitrarily Long Executions. HotOS Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, George Candea
2013	—	`conf`	Making automated testing of cloud applications an integral component of PaaS. APSys Stefan Bucur, Johannes Kinder, George Candea
2012	B	`conf`	Alternating Control Flow Reconstruction. VMCAI Johannes Kinder, Dmitry Kravchenko
2012	A*	`conf`	Efficient state merging in symbolic execution. PLDI Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
2012	—	`conf`	Towards Static Analysis of Virtualization-Obfuscated Binaries. WCRE Johannes Kinder
2011	A	`conf`	Efficient model checking of fault-tolerant distributed protocols. DSN Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri
2011	—	`ch.`	Malware Detection. Encyclopedia of Cryptography and Security (2nd Ed.) Stefan Katzenbeisser, Johannes Kinder, Helmut Veith
2011	A*	`conf`	Supporting domain-specific state space reductions through local partial-order reduction. ASE Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri
2010	B	`conf`	Precise static analysis of untrusted driver binaries. FMCAD Johannes Kinder, Helmut Veith
2010	J	`jnl`	Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Secur. Comput. Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
2010	A	`conf`	Proving memory safety of floating-point computations by combining static and dynamic program analysis. ISSTA Patrice Godefroid, Johannes Kinder
2010	—	`—`	Static analysis of x86 executables (Statische Analyse von Programmen in x86-Maschinensprache). Johannes Kinder
2009	B	`conf`	An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. VMCAI Johannes Kinder, Florian Zuleger, Helmut Veith
2008	A*	`conf`	Jakstab: A Static Analysis Platform for Binaries. CAV Johannes Kinder, Helmut Veith
2007	J	`jnl`	Software transformations to improve malware detection. J. Comput. Virol. Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith
2007	—	`conf`	Using Verification Technology to Specify and Detect Malware. EUROCAST Andreas Holzer, Johannes Kinder, Helmut Veith
2005	B	`conf`	Detecting Malicious Code by Model Checking. DIMVA Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith