Mila Dalla Preda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
13
Active years
2004–2024
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECCV | Fairness of AI Systems in the Legal Context. | Veronica Paternolli, Mila Dalla Preda, Roberto Giacobazzi |
| 2024 | SAS | On the Role of Cognizance in Responsibility. | Laura Canaia, Mila Dalla Preda |
| 2023 | SAS | A Formal Framework to Measure the Incompleteness of Abstract Interpretations. | Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi |
| 2020 | SAS | Formal Framework for Reasoning About the Precision of Dynamic Analysis. | Mila Dalla Preda, Roberto Giacobazzi, Niccol Marastoni |
| 2019 | SAS | Abstract Interpretation of Indexed Grammars. | Marco Campion, Mila Dalla Preda, Roberto Giacobazzi |
| 2016 | ACSAC | Active Android malware analysis: an approach based on stochastic games. | Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni |
| 2016 | SAS | Completeness in Approximate Transduction. | Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni |
| 2015 | Coordination | Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. | Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro |
| 2015 | ICSE | Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. | Mila Dalla Preda, Isabella Mastroeni |
| 2015 | POPL | Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. | Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni |
| 2014 | POPL | Analyzing program dependencies for malware detection. | Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi |
| 2014 | SLE | AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. | Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli |
| 2013 | FCT | A Formal Framework for Property-Driven Obfuscation Strategies. | Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi |
| 2013 | POPL | Fast location of similar code fragments using semantic 'juice'. | Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi |
| 2011 | FCT | Hunting Distributed Malware with the κ-Calculus. | Mila Dalla Preda, Cinzia Di Giusto |
| 2011 | ICSOC | Graceful Interruption of Request-Response Service Interactions. | Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro |
| 2010 | SAS | Modelling Metamorphism by Abstract Interpretation. | Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend |
| 2009 | SAC | Remote software protection by orthogonal client replacement. | Mariano Ceccato, Paolo Tonella, Mila Dalla Preda, Anirban Majumdar |
| 2008 | SAS | Hiding Software Watermarks in Loop Structures. | Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini |
| 2007 | POPL | A semantics-based approach to malware detection. | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
| 2007 | SCAM | Barrier Slicing for Remote Software Trusting. | Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella |
| 2005 | ICALP | Semantic-Based Code Obfuscation by Abstract Interpretation. | Mila Dalla Preda, Roberto Giacobazzi |
| 2005 | SEFM | Control Code Obfuscation by Abstract Interpretation. | Mila Dalla Preda, Roberto Giacobazzi |
| 2004 | SAS | Completeness Refinement in Abstract Symbolic Trajectory Evaluation. | Mila Dalla Preda |