Johannes Kinder

Cited by

	All	Since 2018
Citations	2917	1697
h-index	25	19
i10-index	34	28

420

210

105

315

2007200820092010201120122013201420152016201720182019202020212022202322 36 42 54 94 105 103 152 152 174 236 236 294 330 411 372 52

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Lorenzo CavallaroUniversity College LondonVerified email at ucl.ac.uk
Stefan KatzenbeisserProfessor, Chair of Computer Engineering, University of PassauVerified email at uni-passau.de
George CandeaAssociate Professor of Computer Science, EPFL (Lausanne, Switzerland)Verified email at epfl.ch
Stefan BucurGoogle Inc.Verified email at google.com
Guillermo Suárez-TangilAssistant Professor, IMDEA Networks InstituteVerified email at imdea.org
Santanu DashLecturer, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Volodymyr KuznetsovCyberhavenVerified email at cyberhaven.io
Mihai ChristodorescuVisa ResearchVerified email at christodorescu.org
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Christian SchallhartGoogleVerified email at schallhart.net
Fabio PierazziLecturer (Assistant Professor) in Computer Science, King's College LondonVerified email at kcl.ac.uk
Feargus PendleburyMeta | University College LondonVerified email at meta.com
Duncan MitchellRoyal Holloway, University of LondonVerified email at rhul.ac.uk
Blake LoringRoyal Holloway, University of LondonVerified email at parsed.uk
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
Marco SerafiniAssistant professor at University of Massachusetts AmherstVerified email at cs.umass.edu
Patrice GodefroidLaceworkVerified email at lacework.net
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartVerified email at iste.uni-stuttgart.de
Daniel LehmannGoogleVerified email at dlehmann.eu

Johannes Kinder

Professor of Computer Science, Bundeswehr University Munich

Verified email at unibw.de - Homepage

Programming Languages Computer Security Program Analysis Machine Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	328	2012
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	264	2019
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	238	2017
Detecting malicious code by model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith Conf. Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA …, 2005	231	2005
Jakstab: A static analysis platform for binaries J Kinder, H Veith Int. Conf. Computer Aided Verification (CAV), 423-427, 2008	211*	2008
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	205	2016
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	169	2016
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	152	2009
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith Technical Report 1539, University of Wisconsin, Madison, Wisconsin, USA, 2005	127	2005
Towards Static Analysis of Virtualization-Obfuscated Binaries J Kinder Working Conference on Reverse Engineering (WCRE), 61-70, 2012	80	2012
Everything Old is New Again: Binary Security of WebAssembly D Lehmann, J Kinder, M Pradel 29th USENIX Security Symposium (USENIX Security), 2020	77	2020
Prototyping Symbolic Execution Engines for Interpreted Languages S Bucur, J Kinder, G Candea Architectural Support for Programming Languages and Operating Systems …, 2014	71	2014
Static Analysis of x86 Executables J Kinder Technische Universität Darmstadt, 2010	69	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	67	2010
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	62	2015
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	50	2007
Precise static analysis of untrusted driver binaries J Kinder, H Veith Formal Methods in Computer-Aided Design (FMCAD), 2010, 43-50, 2010	48	2010
Alternating Control Flow Reconstruction J Kinder, D Kravchenko Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI …, 2012	43	2012
Proving memory safety of floating-point computations by combining static and dynamic program analysis P Godefroid, J Kinder International Symposium on Software Testing and Analysis (ISSTA), 1-12, 2010	39	2010
Efficient model checking of fault-tolerant distributed protocols P Bokor, J Kinder, M Serafini, N Suri IEEE/IFIP Int. Conf. Dependable Systems & Networks (DSN), 73-84, 2011	37	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors