Johannes Kinder

Cited by

	All	Since 2016
Citations	2066	1265
h-index	22	18
i10-index	27	25

320

160

240

20072008200920102011201220132014201520162017201820192020202122 35 42 55 89 103 104 158 151 168 240 221 296 310 26

Co-authors

Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Stefan KatzenbeisserProfessor, Chair of Computer Engineering, University of PassauVerified email at uni-passau.de
Lorenzo CavallaroKing's College LondonVerified email at kcl.ac.uk
George CandeaAssociate Professor of Computer Science, EPFL (Lausanne, Switzerland)Verified email at epfl.ch
Stefan BucurGoogle Inc.Verified email at google.com
Mihai ChristodorescuVisa ResearchVerified email at christodorescu.org
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Volodymyr KuznetsovCyberhavenVerified email at cyberhaven.io
Christian SchallhartGoogleVerified email at schallhart.net
Guillermo Suárez-TangilAssistant Professor, IMDEA Networks Institute & King's College LondonVerified email at imdea.org
Santanu Kumar DashLecturer, University of SurreyVerified email at surrey.ac.uk
Duncan MitchellRoyal Holloway, University of LondonVerified email at rhul.ac.uk
Fabio PierazziLecturer (Assistant Professor) in Computer Science, King's College LondonVerified email at kcl.ac.uk
Feargus PendleburyKing's College London and Royal Holloway, University of LondonVerified email at kcl.ac.uk
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
Patrice GodefroidMicrosoft ResearchVerified email at microsoft.com
Neeraj SuriDistinguished Chair Professor, Lancaster UniversityVerified email at lancaster.ac.uk
Marco SerafiniAssistant professor at University of Massachusetts AmherstVerified email at cs.umass.edu
Blake LoringRoyal Holloway, University of LondonVerified email at parsed.uk
Jonas WagnerGoogleVerified email at google.com

Johannes Kinder

Professor of Computer Science, Bundeswehr University Munich

Verified email at unibw.de - Homepage

Program Analysis Software Security


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	258	2012
Detecting malicious code by model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith Conf. Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA …, 2005	214	2005
Jakstab: A static analysis platform for binaries J Kinder, H Veith Int. Conf. Computer Aided Verification (CAV), 423-427, 2008	184	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	140	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	139	2009
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	133	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	119	2016
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith Technical Report 1539, University of Wisconsin, Madison, Wisconsin, USA, 2005	118	2005
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	68	2019
Towards Static Analysis of Virtualization-Obfuscated Binaries J Kinder Working Conference on Reverse Engineering (WCRE), 61-70, 2012	64	2012
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	61	2010
Static Analysis of x86 Executables J Kinder Technische Universität Darmstadt, 2010	59	2010
Prototyping Symbolic Execution Engines for Interpreted Languages S Bucur, J Kinder, G Candea Architectural Support for Programming Languages and Operating Systems …, 2014	55	2014
Alternating Control Flow Reconstruction J Kinder, D Kravchenko Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI …, 2012	45	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	44	2015
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	38	2010
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	38	2007
Precise static analysis of untrusted driver binaries J Kinder, H Veith Formal Methods in Computer-Aided Design (FMCAD), 2010, 43-50, 2010	37	2010
Using verification technology to specify and detect malware A Holzer, J Kinder, H Veith Int. Conf. Computer Aided Systems Theory (EUROCAST), 497-504, 2007	34	2007
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	33	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

Upload PDF

Follow this author

Cited by

Co-authors