Johannes Kinder

Citat de

	Toate	Din 2020
Referințe bibliografice	3795	2056
h-index	28	20
i10-index	38	30

460

230

115

345

200720082009201020112012201320142015201620172018201920202021202220232024202523 36 43 55 95 103 108 147 155 164 237 224 295 345 416 385 399 449 60

Acces public

Afișați-le pe toate

17 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Lorenzo CavallaroUniversity College LondonAdresă de e-mail confirmată pe ucl.ac.uk
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienAdresă de e-mail confirmată pe forsyte.tuwien.ac.at
Stefan KatzenbeisserProfessor, Chair of Computer Engineering, University of PassauAdresă de e-mail confirmată pe uni-passau.de
George CandeaAssociate Professor of Computer Science, EPFL (Lausanne, Switzerland)Adresă de e-mail confirmată pe epfl.ch
Fabio PierazziAssociate Professor at University College LondonAdresă de e-mail confirmată pe ucl.ac.uk
Feargus PendleburyMeta | University College LondonAdresă de e-mail confirmată pe meta.com
Stefan BucurGoogle Inc.Adresă de e-mail confirmată pe google.com
Guillermo Suarez-TangilAssistant Professor, IMDEA Networks InstituteAdresă de e-mail confirmată pe imdea.org
Santanu DashSenior Lecturer, University of SurreyAdresă de e-mail confirmată pe surrey.ac.uk
Volodymyr KuznetsovCyberhavenAdresă de e-mail confirmată pe cyberhaven.io
Mihai ChristodorescuGoogleAdresă de e-mail confirmată pe christodorescu.org
Somesh JhaLubar Chair of Computer Science, University of WisconsinAdresă de e-mail confirmată pe cs.wisc.edu
Christian SchallhartGoogleAdresă de e-mail confirmată pe schallhart.net
Duncan MitchellRoyal Holloway, University of LondonAdresă de e-mail confirmată pe rhul.ac.uk
Blake LoringRoyal Holloway, University of LondonAdresă de e-mail confirmată pe parsed.uk
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartAdresă de e-mail confirmată pe iste.uni-stuttgart.de
Daniel LehmannGoogle, V8 engineAdresă de e-mail confirmată pe dlehmann.eu
Florian ZulegerAssociate Professor, TU WienAdresă de e-mail confirmată pe forsyte.tuwien.ac.at
Marco SerafiniAssistant professor at University of Massachusetts AmherstAdresă de e-mail confirmată pe cs.umass.edu
Moritz DannehlPhD Student, LMU MunichAdresă de e-mail confirmată pe lmu.de

Urmăriți

Johannes Kinder

Professor of Computer Science, LMU Munich

Adresă de e-mail confirmată pe lmu.de - Pagina de pornire

Programming Languages Computer Security Program Analysis Machine Learning


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	485	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	382	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	316	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	248	2005
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	236	2016
Jakstab: A static analysis platform for binaries J Kinder, H Veith Int. Conf. Computer Aided Verification (CAV), 423-427, 2008	225*	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	217	2016
Everything Old is New Again: Binary Security of WebAssembly D Lehmann, J Kinder, M Pradel 29th USENIX Security Symposium (USENIX Security), 2020	188	2020
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	167	2009
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith Technical Report 1539, University of Wisconsin, Madison, Wisconsin, USA, 2005	131	2005
Towards Static Analysis of Virtualization-Obfuscated Binaries J Kinder Working Conference on Reverse Engineering (WCRE), 61-70, 2012	93	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	80	2015
Prototyping Symbolic Execution Engines for Interpreted Languages S Bucur, J Kinder, G Candea Architectural Support for Programming Languages and Operating Systems …, 2014	80	2014
Static Analysis of x86 Executables J Kinder Technische Universität Darmstadt, 2010	76	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	70	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	58	2007
ExpoSE: Practical Symbolic Execution of Standalone JavaScript B Loring, D Mitchell, J Kinder International SPIN Symposium on Model Checking of Software, 196-199, 2017	53	2017
Precise static analysis of untrusted driver binaries J Kinder, H Veith Formal Methods in Computer-Aided Design (FMCAD), 2010, 43-50, 2010	52	2010
Alternating Control Flow Reconstruction J Kinder, D Kravchenko Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI …, 2012	49	2012
Modular Synthesis of Heap Exploits D Repel, J Kinder, L Cavallaro ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS), 2017	47	2017

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori