DALLA PREDA, Mila
DALLA PREDA, Mila
DIPARTIMENTO DI INFORMATICA
A Logic for the Imprecision of Abstract Interpretations
2026-01-01 Campion, Marco; Dalla Preda, Mila; Giacobazzi, Roberto; Urban, Caterina
A Semantics-Based Approach to Malware Detection
2008-01-01 DALLA PREDA, Mila; M., Christodorescu; S., Jha; S., Debray
Abstract Similarity Analysis
2017-01-01 DALLA PREDA, Mila; Vidali, Vanessa
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Characterizing A Property-Driven Obfuscation Strategy
2018-01-01 DALLA PREDA, Mila; Mastroeni, Isabella
Data augmentation and transfer learning to classify malware images in a deep learning context
2021-01-01 Marastoni, N; Giacobazzi, R; Dalla Preda, M
Dataset Characteristics for Reliable Code Authorship Attribution
2023-01-01 Abazari, Farzaneh; Branca, Enrico; Ridley, Norah; Stakhanova, Natalia; DALLA PREDA, Mila
Developing correct, distributed, adaptive software
2015-01-01 DALLA PREDA, Mila; Maiurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro
DYNAMIC CHOREOGRAPHIES: THEORY AND IMPLEMENTATION
2017-01-01 Dalla Preda, M; Gabbrielli, Maurizio; Giallorenzo, S; Lanese, Ivan; Mauro, J
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode
2023-01-01 Pasqua, Michele; Benini, Andrea; Contro, Filippo; Crosara, Marco; DALLA PREDA, Mila; Ceccato, Mariano
Exploiting number theory for dynamic software watermarking
2024-01-01 Dalla Preda, Mila; Ianni, Michele
Learning metamorphic malware signatures from samples
2021-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Light sensor based covert channels on mobile devices
2025-01-01 Dalla Preda, Mila; Greco, Claudia; Ianni, Michele; Lupia, Francesco; Pugliese, Andrea
Maximal incompleteness as obfuscation potency
2017-01-01 Giacobazzi, Roberto; Mastroeni, Isabella; DALLA PREDA, Mila
Modeling Incomplete Procedural Contracts with Blockchain-based Enforceable Business Processes
2026-01-01 Migliorini, Sara; Gambini, Mauro; Paternolli, Veronica; Preda, Mila Dalla
Monotonicity and the Precision of Program Analysis
2024-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto; Urban, Caterina
Obfuscation strategies for industrial control systems
2024-01-01 Cozza, V.; Dalla Preda, M.; Lanotte, R.; Lucchese, M.; Merro, M.; Zannone, L.
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis
2022-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Semantic-based Code Obfuscation by Abstract Interpretation
2009-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto
Semantics-based software watermarking by abstract interpretation
2019-01-01 DALLA PREDA, Mila; Pasqua, Michele
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Logic for the Imprecision of Abstract Interpretations | 1-gen-2026 | Campion, Marco; Dalla Preda, Mila; Giacobazzi, Roberto; Urban, Caterina | |
| A Semantics-Based Approach to Malware Detection | 1-gen-2008 | DALLA PREDA, Mila; M., Christodorescu; S., Jha; S., Debray | |
| Abstract Similarity Analysis | 1-gen-2017 | DALLA PREDA, Mila; Vidali, Vanessa | |
| Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables | 1-gen-2015 | DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella | |
| Characterizing A Property-Driven Obfuscation Strategy | 1-gen-2018 | DALLA PREDA, Mila; Mastroeni, Isabella | |
| Data augmentation and transfer learning to classify malware images in a deep learning context | 1-gen-2021 | Marastoni, N; Giacobazzi, R; Dalla Preda, M | |
| Dataset Characteristics for Reliable Code Authorship Attribution | 1-gen-2023 | Abazari, Farzaneh; Branca, Enrico; Ridley, Norah; Stakhanova, Natalia; DALLA PREDA, Mila | |
| Developing correct, distributed, adaptive software | 1-gen-2015 | DALLA PREDA, Mila; Maiurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro | |
| DYNAMIC CHOREOGRAPHIES: THEORY AND IMPLEMENTATION | 1-gen-2017 | Dalla Preda, M; Gabbrielli, Maurizio; Giallorenzo, S; Lanese, Ivan; Mauro, J | |
| Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode | 1-gen-2023 | Pasqua, Michele; Benini, Andrea; Contro, Filippo; Crosara, Marco; DALLA PREDA, Mila; Ceccato, Mariano | |
| Exploiting number theory for dynamic software watermarking | 1-gen-2024 | Dalla Preda, Mila; Ianni, Michele | |
| Learning metamorphic malware signatures from samples | 1-gen-2021 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| Light sensor based covert channels on mobile devices | 1-gen-2025 | Dalla Preda, Mila; Greco, Claudia; Ianni, Michele; Lupia, Francesco; Pugliese, Andrea | |
| Maximal incompleteness as obfuscation potency | 1-gen-2017 | Giacobazzi, Roberto; Mastroeni, Isabella; DALLA PREDA, Mila | |
| Modeling Incomplete Procedural Contracts with Blockchain-based Enforceable Business Processes | 1-gen-2026 | Migliorini, Sara; Gambini, Mauro; Paternolli, Veronica; Preda, Mila Dalla | |
| Monotonicity and the Precision of Program Analysis | 1-gen-2024 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto; Urban, Caterina | |
| Obfuscation strategies for industrial control systems | 1-gen-2024 | Cozza, V.; Dalla Preda, M.; Lanotte, R.; Lucchese, M.; Merro, M.; Zannone, L. | |
| Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis | 1-gen-2022 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| Semantic-based Code Obfuscation by Abstract Interpretation | 1-gen-2009 | DALLA PREDA, Mila; Giacobazzi, Roberto | |
| Semantics-based software watermarking by abstract interpretation | 1-gen-2019 | DALLA PREDA, Mila; Pasqua, Michele |