Подписаться
Mila Dalla Preda
Mila Dalla Preda
University of Verona, Italy
Подтвержден адрес электронной почты в домене univr.it
Название
Процитировано
Процитировано
Год
A semantics-based approach to malware detection
MD Preda, M Christodorescu, S Jha, S Debray
ACM SIGPLAN Notices 42 (1), 377-388, 2007
3492007
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
1192013
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
1172008
Opaque predicates detection by abstract interpretation
M Dalla Preda, M Madou, K De Bosschere, R Giacobazzi
Algebraic methodology and software technology, 81-95, 2006
1072006
Semantic-based code obfuscation by abstract interpretation
M Dalla Preda, R Giacobazzi
International Colloquium on Automata, Languages, and Programming, 1325-1336, 2005
922005
Semantics-based code obfuscation by abstract interpretation
M Dalla Preda, R Giacobazzi
Journal of Computer Security 17 (6), 855-908, 2009
722009
Dynamic choreographies: Theory and implementation
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
Logical Methods in Computer Science 13, 2017
702017
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
672017
Control code obfuscation by abstract interpretation
M Dalla Preda, R Giacobazzi
Third IEEE International Conference on Software Engineering and Formal …, 2005
612005
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
552021
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
552021
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
522014
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
462015
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
452007
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
432015
Code obfuscation and malware detection by abstract interpretation
M Dalla Preda
Università degli Studi di Verona, 2007
392007
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
372010
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
362018
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
282017
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
242022
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20