| A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007 | 350 | 2007 |
| 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 | 120 | 2013 |
| 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 | 118 | 2008 |
| Opaque predicates detection by abstract interpretation M Dalla Preda, M Madou, K De Bosschere, R Giacobazzi Algebraic methodology and software technology, 81-95, 2006 | 107 | 2006 |
| Semantic-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi International Colloquium on Automata, Languages, and Programming, 1325-1336, 2005 | 93 | 2005 |
| Semantics-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Journal of Computer Security 17 (6), 855-908, 2009 | 72 | 2009 |
| Dynamic choreographies: Theory and implementation M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Logical Methods in Computer Science 13, 2017 | 70 | 2017 |
| 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, 209-232, 2017 | 67 | 2017 |
| Control code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Third IEEE International Conference on Software Engineering and Formal …, 2005 | 62 | 2005 |
| Data augmentation and transfer learning to classify malware images in a deep learning context N Marastoni, R Giacobazzi, M Dalla Preda Journal of Computer Virology and Hacking Techniques 17 (4), 279-297, 2021 | 57 | 2021 |
| Ethersolve: Computing an accurate control-flow graph from ethereum bytecode F Contro, M Crosara, M Ceccato, M Dalla Preda 2021 IEEE/ACM 29th International Conference on Program Comprehension (ICPC …, 2021 | 57 | 2021 |
| 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 | 52 | 2014 |
| Dynamic choreographies: Safe runtime updates of distributed applications M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Coordination Models and Languages: 17th IFIP WG 6.1 International Conference …, 2015 | 46 | 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 | 45 | 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 | 43 | 2015 |
| Code obfuscation and malware detection by abstract interpretation M Dalla Preda Universitą degli Studi di Verona, 2007 | 40 | 2007 |
| Modelling metamorphism by abstract interpretation M Dalla Preda, R Giacobazzi, S Debray, K Coogan, GM Townsend Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010 | 37 | 2010 |
| A deep learning approach to program similarity N Marastoni, R Giacobazzi, M Dalla Preda Proceedings of the 1st international workshop on machine learning and …, 2018 | 36 | 2018 |
| 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 | 29 | 2017 |
| Partial (in) completeness in abstract interpretation: limiting the imprecision in program analysis M Campion, M Dalla Preda, R Giacobazzi Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 25 | 2022 |
Roberto GiacobazziProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
