| TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time F Pendlebury, F Pierazzi, R Jordaney, J Kinder, L Cavallaro 28th USENIX Security Symposium (USENIX Security), 729-746, 2019 | 587 | 2019 |
| Efficient State Merging in Symbolic Execution V Kuznetsov, J Kinder, S Bucur, G Candea ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), 193-204, 2012 | 404 | 2012 |
| DroidSieve: Fast and accurate classification of obfuscated Android malware G Suarez-Tangil, SK Dash, M Ahmadi, J Kinder, G Giacinto, L Cavallaro Conference on Data and Application Security and Privacy (CODASPY), 309-320, 2017 | 340 | 2017 |
| Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis? S Schrittwieser, S Katzenbeisser, J Kinder, G Merzdovnik, E Weippl ACM Computing Surveys (CSUR) 49 (1), 4, 2016 | 280 | 2016 |
| DroidScribe: Classifying Android Malware Based on Runtime Behavior SK Dash, G Suarez-Tangil, S Khan, K Tam, M Ahmadi, J Kinder, ... IEEE Symposium on Security and Privacy Workshops (SPW), Mobile Security …, 2016 | 256 | 2016 |
| Detecting malicious code by model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith Conf. Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA …, 2005 | 254 | 2005 |
| Everything Old is New Again: Binary Security of WebAssembly D Lehmann, J Kinder, M Pradel 29th USENIX Security Symposium (USENIX Security), 2020 | 246 | 2020 |
| Jakstab: A static analysis platform for binaries J Kinder, H Veith Int. Conf. Computer Aided Verification (CAV), 423-427, 2008 | 233* | 2008 |
| An abstract interpretation-based framework for control flow reconstruction from binaries J Kinder, F Zuleger, H Veith Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI …, 2009 | 164 | 2009 |
| Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith Technical Report 1539, University of Wisconsin, Madison, Wisconsin, USA, 2005 | 134 | 2005 |
| Towards Static Analysis of Virtualization-Obfuscated Binaries J Kinder Working Conference on Reverse Engineering (WCRE), 61-70, 2012 | 95 | 2012 |
| High System-Code Security with Low Overhead J Wagner, V Kuznetsov, G Candea, J Kinder IEEE Symposium on Security and Privacy (S&P), 866-879, 2015 | 86 | 2015 |
| Prototyping Symbolic Execution Engines for Interpreted Languages S Bucur, J Kinder, G Candea Architectural Support for Programming Languages and Operating Systems …, 2014 | 83 | 2014 |
| Static Analysis of x86 Executables J Kinder Technische Universität Darmstadt, 2010 | 83 | 2010 |
| Proactive Detection of Computer Worms Using Model Checking J Kinder, S Katzenbeisser, C Schallhart, H Veith IEEE Trans. Dependable and Secure Computing 7 (4), 424-438, 2010 | 76 | 2010 |
| ExpoSE: Practical Symbolic Execution of Standalone JavaScript B Loring, D Mitchell, J Kinder International SPIN Symposium on Model Checking of Software, 196-199, 2017 | 64 | 2017 |
| Software transformations to improve malware detection M Christodorescu, S Jha, J Kinder, S Katzenbeisser, H Veith Journal in Computer Virology 3 (4), 253-265, 2007 | 62 | 2007 |
| Sound regular expression semantics for dynamic symbolic execution of JavaScript B Loring, D Mitchell, J Kinder ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), 425-438, 2019 | 58 | 2019 |
| Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks H Ponce-de-León, J Kinder IEEE Symposium on Security and Privacy (S&P), 1415-1428, 2022 | 56 | 2022 |
| BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews C Rizzo, L Cavallaro, J Kinder Int. Symp. on Research in Attacks, Intrusions, and Defenses (RAID), 25-46, 2018 | 53 | 2018 |
Lorenzo CavallaroUniversity College LondonVerified email at ucl.ac.uk
