Mila Dalla Preda

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 36

Top Topics

Digital Watermark

Abstract Interpretation

Top Venues

J. Comput. Virol. Hacking Tech.

Publications

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
Monotonicity and the Precision of Program Analysis. Proc. ACM Program. Lang. 8 (POPL) (2024)
Mila Dalla Preda, Michele Ianni
Exploiting number theory for dynamic software watermarking. J. Comput. Virol. Hacking Tech. 20 (1) (2024)
Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
A Formal Framework to Measure the Incompleteness of Abstract Interpretations. SAS (2023)
Mila Dalla Preda, Francesco Masaia
Exploring NFT Validation through Digital Watermarking. ARES (2023)
Farzaneh Abazari, Enrico Branca, Norah Ridley, Natalia Stakhanova, Mila Dalla Preda
Dataset Characteristics for Reliable Code Authorship Attribution. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Michele Pasqua, Andrea Benini, Filippo Contro, Marco Crosara, Mila Dalla Preda, Mariano Ceccato
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode. J. Syst. Softw. 200 (2023)
Vittoria Cozza, Mila Dalla Preda, Marco Lucchese, Massimo Merro, Nicola Zannone
Towards Obfuscation of Programmable Logic Controllers. ARES (2023)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis. Proc. ACM Program. Lang. 6 (POPL) (2022)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
On the Properties of Partial Completeness in Abstract Interpretation. ICTCS (2022)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Learning metamorphic malware signatures from samples. J. Comput. Virol. Hacking Tech. 17 (3) (2021)
Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. ICPC (2021)
Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda
Data augmentation and transfer learning to classify malware images in a deep learning context. J. Comput. Virol. Hacking Tech. 17 (4) (2021)
Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. CoRR (2021)
Michele Pasetto, Niccolò Marastoni, Mila Dalla Preda
Revealing Similarities in Android Malware by Dissecting their Methods. EuroS&P Workshops (2020)
Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni
Formal Framework for Reasoning About the Precision of Dynamic Analysis. SAS (2020)
Mila Dalla Preda
Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation. Gabbrielli's Festschrift (2020)
Alina Matyukhina, Natalia Stakhanova, Mila Dalla Preda, Celine Perley
Adversarial Authorship Attribution in Open-Source Projects. CODASPY (2019)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Abstract Interpretation of Indexed Grammars. SAS (2019)
Bjorn De Sutter, Christian S. Collberg, Mila Dalla Preda, Brecht Wyseur
Software Protection Decision Support and Evaluation Methodologies (Dagstuhl Seminar 19331). Dagstuhl Reports 9 (8) (2019)
Mila Dalla Preda, Michele Pasqua
Semantics-based software watermarking by abstract interpretation. Math. Struct. Comput. Sci. 29 (2) (2019)
Mila Dalla Preda, Isabella Mastroeni
Characterizing a property-driven obfuscation strategy. J. Comput. Secur. 26 (1) (2018)
Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda
A deep learning approach to program similarity. MASES@ASE (2018)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. 13 (2) (2017)
Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda
Maximal incompleteness as obfuscation potency. Formal Aspects Comput. 29 (1) (2017)
Mila Dalla Preda, Federico Maggi
Testing android malware detectors against code obfuscation: a systematization of knowledge and unified methodology. J. Comput. Virol. Hacking Tech. 13 (3) (2017)
Mila Dalla Preda, Michele Pasqua
Software Watermarking: A Semantics-based Approach. Electron. Notes Theor. Comput. Sci. 331 (2017)
Mila Dalla Preda, Vanessa Vidali
Abstract Similarity Analysis. Electron. Notes Theor. Comput. Sci. 331 (2017)
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
SEA: String Executability Analysis by Abstract Interpretation. CoRR (2017)
Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni
Active Android malware analysis: an approach based on stochastic games. SSPREW@ACSAC (2016)
Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
Completeness in Approximate Transduction. SAS (2016)
Chengyu Zheng, Mila Dalla Preda, Jorge Granjal, Stefano Zanero, Federico Maggi
On-chip system call tracing: A feasibility study and open prototype. CNS (2016)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Developing correct, distributed, adaptive software. Sci. Comput. Program. 97 (2015)
Mila Dalla Preda, Isabella Mastroeni
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. SPRO@ICSE (2015)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION (2015)
Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray
Unveiling metamorphism by abstract interpretation of code properties. Theor. Comput. Sci. 577 (2015)
Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. POPL (2015)
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE (2014)
Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
Analyzing program dependencies for malware detection. PPREW@POPL (2014)
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR (2014)
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR (2014)
Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi
Fast location of similar code fragments using semantic 'juice'. PPREW@POPL (2013)
Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
A Formal Framework for Property-Driven Obfuscation Strategies. FCT (2013)
Mila Dalla Preda
The Grand Challenge in Metamorphic Analysis. ICISTM (2012)
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Service integration via target-transparent mediation. SOCA (2012)
Mila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie, Arun Lakhotia
Twisting Additivity in Program Obfuscation. ICISTM (2012)
Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Interface-Based Service Composition with Aggregation. ESOCC (2012)
Mila Dalla Preda, Cinzia Di Giusto
Hunting Distributed Malware with the κ-Calculus. FCT (2011)
Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro
Graceful Interruption of Request-Response Service Interactions. ICSOC (2011)
Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend
Modelling Metamorphism by Abstract Interpretation. SAS (2010)
Mariano Ceccato, Paolo Tonella, Mila Dalla Preda, Anirban Majumdar
Remote software protection by orthogonal client replacement. SAC (2009)
Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella
Trading-off security and performance in barrier slicing for remote software entrusting. Autom. Softw. Eng. 16 (2) (2009)
Mila Dalla Preda, Roberto Giacobazzi
Semantics-based code obfuscation by abstract interpretation. J. Comput. Secur. 17 (6) (2009)
Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini
Hiding Software Watermarks in Loop Structures. SAS (2008)
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
A semantics-based approach to malware detection. ACM Trans. Program. Lang. Syst. 30 (5) (2008)
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
A semantics-based approach to malware detection. POPL (2007)
Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella
Barrier Slicing for Remote Software Trusting. SCAM (2007)
Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi
Opaque Predicates Detection by Abstract Interpretation. AMAST (2006)
Mila Dalla Preda, Roberto Giacobazzi
Control Code Obfuscation by Abstract Interpretation. SEFM (2005)
Mila Dalla Preda, Roberto Giacobazzi
Semantic-Based Code Obfuscation by Abstract Interpretation. ICALP (2005)
Mila Dalla Preda
Completeness Refinement in Abstract Symbolic Trajectory Evaluation. SAS (2004)