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 Semantics-Based Approach to Malware Detection
2007-01-01 DALLA PREDA, Mila; M., Christodorescu; S., Jha; S., Debray
Abstract Interpretation of Indexed Grammars.
2019-01-01 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
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
Barrier Slicing for Remote Software Trusting
2007-01-01 Ceccato, M.; DALLA PREDA, Mila; Nagra, J.; Collberg, C.; Tonella, P.
Chasing infections by unveiling program dependencies.
2013-01-01 DALLA PREDA, Mila; Mastroeni, Isabella
Completeness in Approximate Transduction
2016-01-01 Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Completeness Refinement in Abstract Symbolic Trajectory Evaluation
2004-01-01 DALLA PREDA, Mila
Control code obfuscation by abstract interpretation
2005-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto
Dynamic Choreographies Safe Runtime Updates of Distributed Applications.
2015-01-01 DALLA PREDA, Mila; Maurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode
2021-01-01 Contro, Filippo; Crosara, Marco; Ceccato, Mariano; Preda, Mila Dalla
Exploring NFT Validation through Digital Watermarking
2023-01-01 DALLA PREDA, Mila; Masaia, Francesco
Fast location of similar code fragments using semantic 'juice'
2013-01-01 Arun, Lakhotia; DALLA PREDA, Mila; Giacobazzi, Roberto
Formal Framework for Property-driven Obfuscations
2013-01-01 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
Formal framework for reasoning about the precision of dynamic analysis
2020-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Marastoni, Niccolo'
Graceful Interruption of Request-Response Service Interactions
2011-01-01 DALLA PREDA, Mila; Gabbrielli, M.; Lanese, I.; Mauro, J.; Zavattaro, G.
| 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 Semantics-Based Approach to Malware Detection | 1-gen-2007 | DALLA PREDA, Mila; M., Christodorescu; S., Jha; S., Debray | |
| Abstract Interpretation of Indexed Grammars. | 1-gen-2019 | DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto | |
| 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 | |
| Barrier Slicing for Remote Software Trusting | 1-gen-2007 | Ceccato, M.; DALLA PREDA, Mila; Nagra, J.; Collberg, C.; Tonella, P. | |
| Chasing infections by unveiling program dependencies. | 1-gen-2013 | DALLA PREDA, Mila; Mastroeni, Isabella | |
| Completeness in Approximate Transduction | 1-gen-2016 | Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella | |
| Completeness Refinement in Abstract Symbolic Trajectory Evaluation | 1-gen-2004 | DALLA PREDA, Mila | |
| Control code obfuscation by abstract interpretation | 1-gen-2005 | DALLA PREDA, Mila; Giacobazzi, Roberto | |
| Dynamic Choreographies Safe Runtime Updates of Distributed Applications. | 1-gen-2015 | DALLA PREDA, Mila; Maurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro | |
| EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode | 1-gen-2021 | Contro, Filippo; Crosara, Marco; Ceccato, Mariano; Preda, Mila Dalla | |
| Exploring NFT Validation through Digital Watermarking | 1-gen-2023 | DALLA PREDA, Mila; Masaia, Francesco | |
| Fast location of similar code fragments using semantic 'juice' | 1-gen-2013 | Arun, Lakhotia; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| Formal Framework for Property-driven Obfuscations | 1-gen-2013 | DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto | |
| Formal framework for reasoning about the precision of dynamic analysis | 1-gen-2020 | DALLA PREDA, Mila; Giacobazzi, Roberto; Marastoni, Niccolo' | |
| Graceful Interruption of Request-Response Service Interactions | 1-gen-2011 | DALLA PREDA, Mila; Gabbrielli, M.; Lanese, I.; Mauro, J.; Zavattaro, G. |