| A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007 | 357 | 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 | 124 | 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 | 120 | 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 | 111 | 2006 |
| Semantic-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi International Colloquium on Automata, Languages, and Programming, 1325-1336, 2005 | 96 | 2005 |
| 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 | 86 | 2021 |
| Dynamic choreographies: Theory and implementation M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Logical Methods in Computer Science 13, 2017 | 75 | 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 (3), 209-232, 2017 | 73 | 2017 |
| Semantics-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Journal of Computer Security 17 (6), 855-908, 2009 | 73 | 2009 |
| 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 | 68 | 2021 |
| Control code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Third IEEE International Conference on Software Engineering and Formal …, 2005 | 66 | 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 | 58 | 2014 |
| Dynamic choreographies: Safe runtime updates of distributed applications M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro International Conference on Coordination Languages and Models, 67-82, 2015 | 47 | 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 |
| Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode M Pasqua, A Benini, F Contro, M Crosara, M Dalla Preda, M Ceccato Journal of Systems and Software 200, 111653, 2023 | 42 | 2023 |
| Code obfuscation and malware detection by abstract interpretation M Dalla Preda Università degli Studi di Verona, 2007 | 41 | 2007 |
| 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 | 40 | 2018 |
| Modelling metamorphism by abstract interpretation M Dalla Preda, R Giacobazzi, S Debray, K Coogan, GM Townsend International Static Analysis Symposium, 218-235, 2010 | 38 | 2010 |
| 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 | 34 | 2017 |
Roberto GiacobazziProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
