| 2026 | FOSSACS | Abstract Lipschitz Continuity - Combining Semantic and Quantitative Approximations. | Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban |
| 2025 | ECAI | Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation. | Luca Marzari, Isabella Mastroeni, Alessandro Farinelli |
| 2025 | SAS | Relating Distances and Abstractions - An Abstract Interpretation Perspective. | Marco Campion, Isabella Mastroeni, Caterina Urban |
| 2025 | VMCAI | A Static Analysis of Entanglement. | Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni |
| 2025 | VMCAI | Abstract Local Completeness - A Local Form of Abstract Non-interference. | Isabella Mastroeni |
| 2024 | SAS | Static Analysis of Quantum Programs. | Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni |
| 2023 | SAS | How Fitting is Your Abstract Domain? | Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni |
| 2023 | SAS | Domain Precision in Galois Connection-Less Abstract Interpretation. | Isabella Mastroeni, Michele Pasqua |
| 2022 | APLAS | Decoupling the Ascending and Descending Phases in Abstract Interpretation. | Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella |
| 2022 | SAC | Verifying opacity by abstract interpretation. | Isabella Mastroeni, Michele Pasqua |
| 2022 | SAS | Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2020 | MFPS | Equational Logic and Categorical Semantics for Multi-Languages. | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
| 2020 | SAC | A sound abstract interpreter for dynamic code. | Vincenzo Arceri, Isabella Mastroeni |
| 2020 | SAS | On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
| 2019 | ESOP | On the Multi-Language Construction. | Samuele Buro, Isabella Mastroeni |
| 2019 | FM | An Abstract Domain for Objects in Dynamic Programming Languages. | Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni |
| 2019 | ICTAC | Completeness of Abstract Domains for String Analysis of JavaScript Programs. | Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni |
| 2019 | SAC | Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference. | Isabella Mastroeni, Michele Pasqua |
| 2018 | SAS | Verifying Bounded Subset-Closed Hyperproperties. | Isabella Mastroeni, Michele Pasqua |
| 2018 | VMCAI | Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. | Samuele Buro, Isabella Mastroeni |
| 2017 | SAS | Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. | Isabella Mastroeni, Michele Pasqua |
| 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 | 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 |
| 2013 | FCT | A Formal Framework for Property-Driven Obfuscation Strategies. | Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi |
| 2012 | PEPM | Obfuscation by partial evaluation of distorted interpreters. | Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni |
| 2012 | SAS | Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2012 | TASE | Strong Preservation by Model Deformation. | Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic |
| 2010 | ICFEM | Abstract Program Slicing: From Theory towards an Implementation. | Isabella Mastroeni, Durica Nikolic |
| 2009 | PLDI | A weakest precondition approach to active attacks analysis. | Musard Balliu, Isabella Mastroeni |
| 2008 | PEPM | Data dependencies and program slicing: from syntax to abstract semantics. | Isabella Mastroeni, Damiano Zanardini |
| 2008 | SAS | Transforming Abstract Interpretations by Abstract Interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2008 | VMCAI | Deriving Bisimulations by Simplifying Partitions. | Isabella Mastroeni |
| 2005 | APLAS | On the Rle of Abstract Non-interference in Language-Based Security. | Isabella Mastroeni |
| 2005 | ESOP | Adjoining Declassification and Attack Models by Abstract Interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2005 | SAS | The PER Model of Abstract Non-interference. | Sebastian Hunt, Isabella Mastroeni |
| 2004 | CSL | Proving Abstract Non-interference. | Roberto Giacobazzi, Isabella Mastroeni |
| 2004 | POPL | Abstract non-interference: parameterizing non-interference by abstract interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2003 | VMCAI | Domain Compression for Complete Abstractions. | Roberto Giacobazzi, Isabella Mastroeni |
| 2002 | PEPM | Compositionality in the puzzle of semantics. | Roberto Giacobazzi, Isabella Mastroeni |
| 2000 | PPDP | A characterization of symmetric semantics by domain complementation. | Roberto Giacobazzi, Isabella Mastroeni |