Mila Dalla Preda

Cited by

	All	Since 2017
Citations	1296	550
h-index	17	13
i10-index	25	16

120

200620072008200920102011201220132014201520162017201820192020202120228 35 49 59 63 68 64 63 97 94 99 111 90 99 115 92 41

Public access

View all

15 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Roberto GiacobazziProfessor of Computer Science, University of VeronaVerified email at univr.it
Jacopo MauroUniversity of Southern DenmarkVerified email at imada.sdu.dk
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Saumya DebrayProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
Saverio GiallorenzoAssistant Professor at Department of Computer Science and Engineering, Università di BolognaVerified email at unibo.it
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
mariano ceccatoUniversity of VeronaVerified email at univr.it
Paolo TonellaUniversità della Svizzera italiana (USI)Verified email at usi.ch
Jasvir NagraGoogle IncVerified email at google.com
Stefano ZaneroPolitecnico di MilanoVerified email at polimi.it
Federico MaggiSenior ResearcherVerified email at polimi.it
Koen De BosschereUniversiteit GentVerified email at elis.ugent.be
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Jorge GranjalProfessor, University of CoimbraVerified email at dei.uc.pt
Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Verified email at unice.fr
Alessandro Farinelliassistant professor of Computer Science, University of VeronaVerified email at univr.it
Chengyu ZhengPolitecnico Di Milano, ItalyVerified email at polimi.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	320	2007
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007	320	2007
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007	320	2007
A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007	320	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	113	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	113	2008
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	100	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	89	2006
Semantic-based code obfuscation by abstract interpretation MD Preda, R Giacobazzi International Colloquium on Automata, Languages, and Programming, 1325-1336, 2005	87	2005
Semantics-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Journal of Computer Security 17 (6), 855-908, 2009	67	2009
Control code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Third IEEE International Conference on Software Engineering and Formal …, 2005	55	2005
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications MD Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli International Conference on Software Language Engineering, 161-170, 2014	48	2014
Dynamic choreographies: Theory and implementation MD Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro arXiv preprint arXiv:1611.09067, 2016	41	2016
Dynamic choreographies MD Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro International Conference on Coordination Languages and Models, 67-82, 2015	41	2015
Testing android malware detectors against code obfuscation: a systematization of knowledge and unified methodology MD Preda, F Maggi Journal of Computer Virology and Hacking Techniques 13 (3), 209-232, 2017	39	2017
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	36	2007
Modelling metamorphism by abstract interpretation MD Preda, R Giacobazzi, S Debray, K Coogan, GM Townsend International Static Analysis Symposium, 218-235, 2010	34	2010
Code obfuscation and malware detection by abstract interpretation M Dalla Preda PhD diss.), http://profs. sci. univr. it/dallapre/MilaDallaPreda_PhD. pdf, 2007	34	2007
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	31	2015
Groupdroid: Automatically grouping mobile malware by extracting code similarities N Marastoni, A Continella, D Quarta, S Zanero, MD Preda Proceedings of the 7th Software Security, Protection, and Reverse …, 2017	20	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 this author

Cited by

Co-authors