| A semantics-based approach to malware detection MD Preda, M Christodorescu, S Jha, S Debray ACM SIGPLAN Notices 42 (1), 377-388, 2007 | 348 | 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 | 118 | 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 | 116 | 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 | 106 | 2006 |
| Semantic-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005 | 94 | 2005 |
| Semantics-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Journal of Computer Security 17 (6), 855-908, 2009 | 71 | 2009 |
| Dynamic choreographies: Theory and implementation M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro Logical Methods in Computer Science 13, 2017 | 69 | 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 | 66 | 2017 |
| Control code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Third IEEE International Conference on Software Engineering and Formal …, 2005 | 65 | 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 | 54 | 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 | 54 | 2014 |
| 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 | 51 | 2021 |
| 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 | 44 | 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 | 44 | 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 | 38 | 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 | 30 | 2017 |
| Software watermarking: a semantics-based approach M Dalla Preda, M Pasqua Electronic Notes in Theoretical Computer Science 331, 71-85, 2017 | 21 | 2017 |
Roberto GiacobazziProfessor of Computer Science, University of Arizona確認したメール アドレス: cs.arizona.edu