Mihai Christodorescu

Cited by

	All	Since 2020
Citations	9244	3325
h-index	43	33
i10-index	69	54

740

370

185

555

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202532 71 123 187 255 304 357 447 409 454 482 494 452 542 548 615 671 634 627 729 639 22

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Douglas SchalesSTSM, IBM ResearchVerified email at us.ibm.com
Negin SalajeghehSecurity Engineer, NetflixVerified email at netflix.com
Marc Ph. StoecklinIBM ResearchVerified email at zurich.ibm.com
Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
Dawn SongProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Ting WangStony Brook UniversityVerified email at cs.stonybrook.edu
Christopher KruegelUniversity of California, Santa Barbara and Cisco, Inc.Verified email at cs.ucsb.edu
Kapil SinghIBM T.J. Watson Research CenterVerified email at us.ibm.com
Xin HuOpenAIVerified email at us.ibm.com
Stefan KatzenbeisserProfessor, Chair of Computer Engineering, University of PassauVerified email at uni-passau.de
Engin KirdaNortheastern University and Lastline Inc. (co-founder)Verified email at ccs.neu.edu
Xifeng YanProfessor, Computer Science, Univ. of California at Santa BarbaraVerified email at cs.ucsb.edu
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Lujo BauerCarnegie Mellon UniversityVerified email at cmu.edu
Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Andrea LanziAssociate Professor at Department Computer Science at University of MilanVerified email at unimi.it
Davide BalzarottiProfessor, EurecomVerified email at eurecom.fr
Man-Ki YoonAssistant Professor of Computer Science, North Carolina State UniversityVerified email at ncsu.edu

Mihai Christodorescu

Google

Verified email at christodorescu.org - Homepage

Computer Security Programming Languages Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Semantics-aware malware detection M Christodorescu, S Jha, SA Seshia, D Song, RE Bryant 2005 IEEE symposium on security and privacy (S&P'05), 32-46, 2005	1179	2005
Static analysis of executables to detect malicious patterns M Christodorescu, S Jha 12th USENIX Security Symposium (USENIX Security 03), 2003	1080	2003
Mining specifications of malicious behavior M Christodorescu, S Jha, C Kruegel Proceedings of the the 6th joint meeting of the European software …, 2007	655	2007
Testing malware detectors M Christodorescu, S Jha ACM SIGSOFT Software Engineering Notes 29 (4), 34-44, 2004	495	2004
Omniunpack: Fast, generic, and safe unpacking of malware L Martignoni, M Christodorescu, S Jha Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007 …, 2007	357	2007
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007	349	2007
Cloud security is not (just) virtualization security: a short paper M Christodorescu, R Sailer, DL Schales, D Sgandurra, D Zamboni Proceedings of the 2009 ACM workshop on Cloud computing security, 97-102, 2009	303	2009
Synthesizing near-optimal malware specifications from suspicious behaviors M Fredrikson, S Jha, M Christodorescu, R Sailer, X Yan 2010 IEEE Symposium on Security and Privacy, 45-60, 2010	287	2010
Protection of user data in hosted application environments M Christodorescu, D Pendarakis, KK Singh US Patent 9,245,126, 2016	285	2016
Accessminer: using system-centric models for malware protection A Lanzi, D Balzarotti, C Kruegel, M Christodorescu, E Kirda Proceedings of the 17th ACM conference on Computer and communications …, 2010	265	2010
What matters to users? Factors that affect users' willingness to share information with online advertisers PG Leon, B Ur, Y Wang, M Sleeper, R Balebako, R Shay, L Bauer, ... Proceedings of the ninth symposium on usable privacy and security, 1-12, 2013	212	2013
A quantitative study of accuracy in system call-based malware detection D Canali, A Lanzi, D Balzarotti, C Kruegel, M Christodorescu, E Kirda Proceedings of the 2012 International Symposium on Software Testing and …, 2012	203	2012
Adaptive observation of behavioral features on a mobile device A Valencia, M Salajegheh, V Sridhara, M Christodorescu, R Gupta US Patent 9,330,257, 2016	190	2016
Adaptive cyber-security analytics L Amini, M Christodorescu, MA Cohen, S Parthasarathy, J Rao, R Sailer, ... US Patent 9,032,521, 2015	161	2015
Inter-module authentication for securing application execution integrity within a computing device M Christodorescu, R Gupta, V Sridhara US Patent 9,742,559, 2017	142	2017
Behavioral analysis to automate direct and indirect local monitoring of internet of things device health R Gupta, M Salajegheh, M Christodorescu, V Sridhara, G Krishnamurthi US Patent 9,979,606, 2018	137	2018
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith University of Wisconsin-Madison Department of Computer Sciences, 2005	131	2005
Methods and systems for automated anonymous crowdsourcing of characterized device behaviors M Salajegheh, M Mahmoudi, V Sridhara, M Christodorescu, GC Cascaval US Patent 10,063,585, 2018	120	2018
Strengthening software self-checksumming via self-modifying code JT Giffin, M Christodorescu, L Kruger 21st Annual Computer Security Applications Conference (ACSAC'05), 10 pp.-32, 2005	118	2005
Methods, devices, and systems for communicating behavioral analysis information A Valencia, R Gupta, M Christodorescu US Patent 9,609,456, 2017	103	2017

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