DALLA PREDA, Mila
DALLA PREDA, Mila
DIPARTIMENTO DI INFORMATICA
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
Learning metamorphic malware signatures from samples
2021-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Maximal incompleteness as obfuscation potency
2017-01-01 Giacobazzi, Roberto; Mastroeni, Isabella; DALLA PREDA, Mila
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
Software Watermarking: A Semantics-based Approach
2017-01-01 DALLA PREDA, Mila; Pasqua, Michele
Testing android malware detectors against code obfuscation: a systematization of knowledge and unified methodology
2016-01-01 DALLA PREDA, Mila; Maggi, Federico
Trading-off security and performance in barrier slicing for remote software entrusting
2009-01-01 Ceccato, M.; DALLA PREDA, Mila; Nagra, J.; Collberg, C. S.; Tonella, P.
Unveiling metamorphism by abstract interpretation of code properties
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Saumya K., Debray
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Learning metamorphic malware signatures from samples | 1-gen-2021 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| Maximal incompleteness as obfuscation potency | 1-gen-2017 | Giacobazzi, Roberto; Mastroeni, Isabella; DALLA PREDA, Mila | |
| 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 | |
| Software Watermarking: A Semantics-based Approach | 1-gen-2017 | DALLA PREDA, Mila; Pasqua, Michele | |
| Testing android malware detectors against code obfuscation: a systematization of knowledge and unified methodology | 1-gen-2016 | DALLA PREDA, Mila; Maggi, Federico | |
| Trading-off security and performance in barrier slicing for remote software entrusting | 1-gen-2009 | Ceccato, M.; DALLA PREDA, Mila; Nagra, J.; Collberg, C. S.; Tonella, P. | |
| Unveiling metamorphism by abstract interpretation of code properties | 1-gen-2015 | DALLA PREDA, Mila; Giacobazzi, Roberto; Saumya K., Debray |