Mila Dalla Preda

Cited by

	All	Since 2015
Citations	1083	563
h-index	15	13
i10-index	23	17

120

20062007200820092010201120122013201420152016201720182019202010 30 47 57 60 73 62 65 96 91 96 114 85 98 72

Co-authors

Roberto GiacobazziProfessor of Computer Science, University of VeronaVerified email at univr.it
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Jacopo MauroUniversity of Southern DenmarkVerified email at imada.sdu.dk
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Saverio GiallorenzoAssistant Professor at Department of Computer Science and Engineering, Università di BolognaVerified email at unibo.it
Saumya DebrayProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
Isabella MastroeniComputer Science Dept. - University of VeronaVerified email at univr.it
Mihai ChristodorescuVisa ResearchVerified email at christodorescu.org
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Paolo TonellaUniversità della Svizzera Italiana (USI)Verified email at usi.ch
mariano ceccatoUniversity of VeronaVerified email at univr.it
Jasvir NagraGoogle IncVerified email at google.com
Koen De BosschereUniversiteit GentVerified email at elis.ugent.be
Federico MaggiSenior Researcher, Trend Micro Inc.Verified email at trendmicro.com
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Stefano ZaneroPolitecnico di MilanoVerified email at polimi.it
Jorge GranjalProfessor, University of CoimbraVerified email at dei.uc.pt
Alessandro Farinelliassistant professor of Computer Science, University of VeronaVerified email at univr.it
Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Verified email at unice.fr
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it

Mila Dalla Preda

University of Verona, Italy

Verified email at univr.it


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007	293	2007
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007	293	2007
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007	293	2007
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007	293	2007
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (5), 1-54, 2008	100	2008
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (5), 25, 2008	100	2008
Semantic-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi International Colloquium on Automata, Languages, and Programming, 1325-1336, 2005	80	2005
Fast location of similar code fragments using semantic'juice' A Lakhotia, MD Preda, R Giacobazzi Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse …, 2013	79	2013
Opaque predicates detection by abstract interpretation M Dalla Preda, M Madou, K De Bosschere, R Giacobazzi Algebraic methodology and software technology, 81-95, 2006	78	2006
Semantics-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Journal of Computer Security 17 (6), 855-908, 2009	58	2009
Control code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Third IEEE International Conference on Software Engineering and Formal …, 2005	53	2005
AIOCJ: A choreographic framework for safe adaptive distributed applications M Dalla Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli International Conference on Software Language Engineering, 161-170, 2014	44	2014
Dynamic choreographies M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro International Conference on Coordination Languages and Models, 67-82, 2015	35	2015
Barrier slicing for remote software trusting M Ceccato, M Dalla Preda, J Nagra, C Collberg, P Tonella Seventh IEEE International Working Conference on Source Code Analysis and …, 2007	35	2007
Modelling metamorphism by abstract interpretation M Dalla Preda, R Giacobazzi, S Debray, K Coogan, GM Townsend International Static Analysis Symposium, 218-235, 2010	32	2010
Code obfuscation and malware detection by abstract interpretation M Dalla Preda PhD diss.), http://profs. sci. univr. it/dallapre/MilaDallaPreda_PhD. pdf, 2007	28	2007
Testing android malware detectors against code obfuscation: a systematization of knowledge and unified methodology M Dalla Preda, F Maggi Journal of Computer Virology and Hacking Techniques 13 (3), 209-232, 2017	24	2017
Dynamic choreographies: Theory and implementation M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro	22	2017
Abstract symbolic automata: Mixed syntactic/semantic similarity analysis of executables M Dalla Preda, R Giacobazzi, A Lakhotia, I Mastroeni Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	22	2015
Trading-off security and performance in barrier slicing for remote software entrusting M Ceccato, M Dalla Preda, J Nagra, C Collberg, P Tonella Automated Software Engineering 16 (2), 235-261, 2009	17	2009

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