Mihai Christodorescu

Cited by

	All	Since 2019
Citations	9003	3701
h-index	43	34
i10-index	69	60

720

360

180

540

20042005200620072008200920102011201220132014201520162017201820192020202120222023202432 71 123 187 255 304 356 447 408 457 481 494 450 544 546 614 666 628 621 706 463

Public access

View all

4 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 VMware, Inc.Verified email at cs.ucsb.edu
Kapil SinghIBM T.J. Watson Research CenterVerified email at us.ibm.com
Xin HuIBM T.J. Watson Research Center at Yorktown Heights, NYVerified 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	1172	2005
Static analysis of executables to detect malicious patterns M Christodorescu, S Jha 12th USENIX Security Symposium (USENIX Security 03), 2003	1066	2003
Mining specifications of malicious behavior M Christodorescu, S Jha, C Kruegel Proceedings of the the 6th joint meeting of the European software …, 2007	650	2007
Testing malware detectors M Christodorescu, S Jha ACM SIGSOFT Software Engineering Notes 29 (4), 34-44, 2004	489	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	351	2007
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007	347	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	293	2009
Protection of user data in hosted application environments M Christodorescu, D Pendarakis, KK Singh US Patent 9,245,126, 2016	282	2016
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	282	2010
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	262	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	202	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	198	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	184	2016
Adaptive cyber-security analytics L Amini, M Christodorescu, MA Cohen, S Parthasarathy, J Rao, R Sailer, ... US Patent 9,032,521, 2015	158	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	138	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	132	2018
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith University of Wisconsin-Madison Department of Computer Sciences, 2005	131	2005
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	117	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	112	2018
Methods, devices, and systems for communicating behavioral analysis information A Valencia, R Gupta, M Christodorescu US Patent 9,609,456, 2017	100	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