DALLA PREDA, Mila
DALLA PREDA, Mila
DIPARTIMENTO DI INFORMATICA
A deep learning approach to program similarity.
2018-01-01 Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
2023-01-01 Campion, Marco; Urban, Caterina; Dalla Preda, Mila; Giacobazzi, Roberto
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
2007-01-01 DALLA PREDA, Mila; M., Christodorescu; S., Jha; S., Debray
A Semantics-Based Approach to Malware Detection
2008-01-01 DALLA PREDA, Mila; M., Christodorescu; S., Jha; S., Debray
A semantics-based approach to software watermarking by abstract interpretation
2016-01-01 DALLA PREDA, Mila; Pasqua, Michele
Abstract Interpretation of Indexed Grammars.
2019-01-01 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
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
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella
Active Android malware analysis: an approach based on stochastic games
2016-01-01 Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella
Adversarial Authorship Attribution in Open-Source Projects
2019-01-01 Matyukhina, Alina; Stakhanova, Natalia; DALLA PREDA, Mila; Perley, Celine
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.
2014-01-01 DALLA PREDA, Mila; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro; Maurizio, Gabbrielli
Analyzing program dependences for malware detection.
2014-01-01 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja
2025-01-01 Altamura, Nicolò; Bragastini, Enrico; Campion, Marco; Dalla Preda, Mila
Barrier Slicing for Remote Software Trusting
2007-01-01 Ceccato, M.; DALLA PREDA, Mila; Nagra, J.; Collberg, C.; Tonella, P.
Characterizing A Property-Driven Obfuscation Strategy
2018-01-01 DALLA PREDA, Mila; Mastroeni, Isabella
Chasing infections by unveiling program dependencies.
2013-01-01 DALLA PREDA, Mila; Mastroeni, Isabella
Code obfuscation and malware detection by abstract interpretation
2007-01-01 DALLA PREDA, Mila
Completeness in Approximate Transduction
2016-01-01 Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A deep learning approach to program similarity. | 1-gen-2018 | Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| A Formal Framework to Measure the Incompleteness of Abstract Interpretations | 1-gen-2023 | Campion, Marco; Urban, Caterina; Dalla Preda, Mila; Giacobazzi, Roberto | |
| 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-2007 | DALLA PREDA, Mila; M., Christodorescu; S., Jha; S., Debray | |
| A Semantics-Based Approach to Malware Detection | 1-gen-2008 | DALLA PREDA, Mila; M., Christodorescu; S., Jha; S., Debray | |
| A semantics-based approach to software watermarking by abstract interpretation | 1-gen-2016 | DALLA PREDA, Mila; Pasqua, Michele | |
| Abstract Interpretation of Indexed Grammars. | 1-gen-2019 | DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto | |
| 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 | |
| Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables | 1-gen-2015 | DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella | |
| Active Android malware analysis: an approach based on stochastic games | 1-gen-2016 | Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella | |
| Adversarial Authorship Attribution in Open-Source Projects | 1-gen-2019 | Matyukhina, Alina; Stakhanova, Natalia; DALLA PREDA, Mila; Perley, Celine | |
| AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. | 1-gen-2014 | DALLA PREDA, Mila; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro; Maurizio, Gabbrielli | |
| Analyzing program dependences for malware detection. | 1-gen-2014 | DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto | |
| Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja | 1-gen-2025 | Altamura, Nicolò; Bragastini, Enrico; Campion, Marco; Dalla Preda, Mila | |
| Barrier Slicing for Remote Software Trusting | 1-gen-2007 | Ceccato, M.; DALLA PREDA, Mila; Nagra, J.; Collberg, C.; Tonella, P. | |
| Characterizing A Property-Driven Obfuscation Strategy | 1-gen-2018 | DALLA PREDA, Mila; Mastroeni, Isabella | |
| Chasing infections by unveiling program dependencies. | 1-gen-2013 | DALLA PREDA, Mila; Mastroeni, Isabella | |
| Code obfuscation and malware detection by abstract interpretation | 1-gen-2007 | DALLA PREDA, Mila | |
| Completeness in Approximate Transduction | 1-gen-2016 | Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella |