A characterization of symmetric semantics by domain complementation. - Roberto Giacobazzi; Isabella Mastroeni (PPDP, 2000)

Numerical Power Analysis. - Isabella Mastroeni (PADO, 2001)

Compositionality in the puzzle of semantics. - Roberto Giacobazzi; Isabella Mastroeni (PEPM, 2002)

Domain Compression for Complete Abstractions. - Roberto Giacobazzi; Isabella Mastroeni (VMCAI, 2003)

Non-Standard Semantics for Program Slicing. - Roberto Giacobazzi; Isabella Mastroeni (High. Order Symb. Comput., 2003)

Proving Abstract Non-interference. - Roberto Giacobazzi; Isabella Mastroeni (CSL, 2004)

Abstract non-interference: parameterizing non-interference by abstract interpretation. - Roberto Giacobazzi; Isabella Mastroeni (POPL, 2004)

Algebraic Power Analysis by Abstract Interpretation. - Isabella Mastroeni (High. Order Symb. Comput., 2004)

On the Rôle of Abstract Non-interference in Language-Based Security. - Isabella Mastroeni (APLAS, 2005)

Adjoining Declassification and Attack Models by Abstract Interpretation. - Roberto Giacobazzi; Isabella Mastroeni (ESOP, 2005)

Timed Abstract Non-interference. - Roberto Giacobazzi; Isabella Mastroeni (FORMATS, 2005)

Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. - Roberto Giacobazzi; Isabella Mastroeni (MMM-ACNS, 2005)

The PER Model of Abstract Non-interference. - Sebastian Hunt; Isabella Mastroeni (SAS, 2005)

Transforming semantics by abstract interpretation. - Roberto Giacobazzi; Isabella Mastroeni (Theor. Comput. Sci., 2005)

Abstract non-interference. - Isabella Mastroeni (2005)

What You Lose is What You Leak: Information Leakage in Declassification Policies. - Anindya Banerjee 001; Roberto Giacobazzi; Isabella Mastroeni (MFPS, 2007)

Data dependencies and program slicing: from syntax to abstract semantics. - Isabella Mastroeni; Damiano Zanardini (PEPM, 2008)

Transforming Abstract Interpretations by Abstract Interpretation. - Roberto Giacobazzi; Isabella Mastroeni (SAS, 2008)

Deriving Bisimulations by Simplifying Partitions. - Isabella Mastroeni (VMCAI, 2008)

A weakest precondition approach to active attacks analysis. - Musard Balliu; Isabella Mastroeni (PLAS, 2009)

Abstract Program Slicing: From Theory towards an Implementation. - Isabella Mastroeni; Durica Nikolic (ICFEM, 2010)

Adjoining classified and unclassified information by abstract interpretation. - Roberto Giacobazzi; Isabella Mastroeni (J. Comput. Secur., 2010)

A Proof System for Abstract Non-interference. - Roberto Giacobazzi; Isabella Mastroeni (J. Log. Comput., 2010)

A Weakest Precondition Approach to Robustness. - Musard Balliu; Isabella Mastroeni (Trans. Comput. Sci., 2010)

An abstract interpretation-based model for safety semantics. - Isabella Mastroeni; Roberto Giacobazzi (Int. J. Comput. Math., 2011)

Modelling declassification policies using abstract domain completeness. - Isabella Mastroeni; Anindya Banerjee 001 (Math. Struct. Comput. Sci., 2011)

Obfuscation by partial evaluation of distorted interpreters. - Roberto Giacobazzi; Neil D. Jones; Isabella Mastroeni (PEPM, 2012)

Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. - Roberto Giacobazzi; Isabella Mastroeni (SAS, 2012)

Strong Preservation by Model Deformation. - Roberto Giacobazzi; Isabella Mastroeni; Durica Nikolic (TASE, 2012)

A Formal Framework for Property-Driven Obfuscation Strategies. - Mila Dalla Preda; Isabella Mastroeni; Roberto Giacobazzi (FCT, 2013)

Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. - Isabella Mastroeni (Festschrift for Dave Schmidt, 2013)

Analyzing program dependencies for malware detection. - Mila Dalla Preda; Isabella Mastroeni; Roberto Giacobazzi (PPREW@POPL, 2014)

MIME: A Formal Approach to (Android) Emulation Malware Analysis. - Fabio Bellini; Roberto Chiodi; Isabella Mastroeni (FPS, 2015)

Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. - Mila Dalla Preda; Isabella Mastroeni (SPRO@ICSE, 2015)

Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. - Mila Dalla Preda; Roberto Giacobazzi; Arun Lakhotia; Isabella Mastroeni (POPL, 2015)

Active Android malware analysis: an approach based on stochastic games. - Riccardo Sartea; Mila Dalla Preda; Alessandro Farinelli; Roberto Giacobazzi; Isabella Mastroeni (SSPREW@ACSAC, 2016)

Completeness in Approximate Transduction. - Mila Dalla Preda; Roberto Giacobazzi; Isabella Mastroeni (SAS, 2016)

Preface. - Isabella Mastroeni (NSAD@SAS, 2016)

Making abstract models complete. - Roberto Giacobazzi; Isabella Mastroeni (Math. Struct. Comput. Sci., 2016)

Weakening Additivity in Adjoining Closures. - Isabella Mastroeni; Roberto Giacobazzi (Order, 2016)

On Topologies for (Hyper)Properties. - Michele Pasqua; Isabella Mastroeni (ICTCS/CILC, 2017)

Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. - Isabella Mastroeni; Michele Pasqua (SAS, 2017)

SEA: String Executability Analysis by Abstract Interpretation. - Vincenzo Arceri; Mila Dalla Preda; Roberto Giacobazzi; Isabella Mastroeni (CoRR, 2017)

Maximal incompleteness as obfuscation potency. - Roberto Giacobazzi; Isabella Mastroeni; Mila Dalla Preda (Formal Aspects Comput., 2017)

Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing. - Isabella Mastroeni; Damiano Zanardini (ACM Trans. Comput. Log., 2017)

Verifying Bounded Subset-Closed Hyperproperties. - Isabella Mastroeni; Michele Pasqua (SAS, 2018)

Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. - Samuele Buro; Isabella Mastroeni (VMCAI, 2018)

Characterizing a property-driven obfuscation strategy. - Mila Dalla Preda; Isabella Mastroeni (J. Comput. Secur., 2018)

Abstract Non-Interference: A Unifying Framework for Weakening Information-flow. - Roberto Giacobazzi; Isabella Mastroeni (ACM Trans. Priv. Secur., 2018)

On the Multi-Language Construction. - Samuele Buro; Isabella Mastroeni (ESOP, 2019)

An Abstract Domain for Objects in Dynamic Programming Languages. - Vincenzo Arceri; Michele Pasqua; Isabella Mastroeni (FM Workshops (2), 2019)

Completeness of Abstract Domains for String Analysis of JavaScript Programs. - Vincenzo Arceri; Martina Olliaro; Agostino Cortesi; Isabella Mastroeni (ICTAC, 2019)

Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference. - Isabella Mastroeni; Michele Pasqua (SAC, 2019)

An Automata-based Abstract Semantics for String Manipulation Languages. - Vincenzo Arceri; Isabella Mastroeni (VPT@Programming, 2019)

Equational Logic and Set-Theoretic Models for Multi-Languages. - Samuele Buro; Roy L. Crole; Isabella Mastroeni (ICTCS, 2020)

Equational Logic and Categorical Semantics for Multi-Languages. - Samuele Buro; Roy L. Crole; Isabella Mastroeni (MFPS, 2020)

A sound abstract interpreter for dynamic code. - Vincenzo Arceri; Isabella Mastroeni (SAC, 2020)

On the semantic equivalence of language syntax formalisms. - Samuele Buro; Isabella Mastroeni (Theor. Comput. Sci., 2020)

Improving Dynamic Code Analysis by Code Abstraction. - Isabella Mastroeni; Vincenzo Arceri (VPT@ETAPS, 2021)

Completeness of string analysis for dynamic languages. - Vincenzo Arceri; Martina Olliaro; Agostino Cortesi; Isabella Mastroeni (Inf. Comput., 2021)

Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval. - Vincenzo Arceri; Isabella Mastroeni (ACM Trans. Priv. Secur., 2021)

Decoupling the Ascending and Descending Phases in Abstract Interpretation. - Vincenzo Arceri; Isabella Mastroeni; Enea Zaffanella (APLAS, 2022)

Verifying opacity by abstract interpretation. - Isabella Mastroeni; Michele Pasqua (SAC, 2022)

Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. - Roberto Giacobazzi; Isabella Mastroeni (SAS, 2022)

How Fitting is Your Abstract Domain? - Roberto Giacobazzi; Isabella Mastroeni; Elia Perantoni (SAS, 2023)

Domain Precision in Galois Connection-Less Abstract Interpretation. - Isabella Mastroeni; Michele Pasqua (SAS, 2023)

Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). - Arie Gurfinkel; Isabella Mastroeni; Antoine Miné; Peter Müller 001; Anna Becchi (Dagstuhl Reports, 2023)

Abstracting Entanglement. - Nicola Assolini; Alessandra Di Pierro; Isabella Mastroeni (NSAD@SAS, 2024)

Static Analysis of Quantum Programs. - Nicola Assolini; Alessandra Di Pierro; Isabella Mastroeni (SAS, 2024)

Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. - Roberto Giacobazzi; Isabella Mastroeni; Elia Perantoni (ACM Trans. Program. Lang. Syst., 2024)

Abstract domain adequacy. - Isabella Mastroeni (Int. J. Softw. Tools Technol. Transf., 2024)

A Static Analysis of Entanglement. - Nicola Assolini; Alessandra Di Pierro; Isabella Mastroeni (VMCAI (2), 2025)

Abstract Local Completeness - A Local Form of Abstract Non-interference. - Isabella Mastroeni (VMCAI (2), 2025)

On multi-language abstraction: Towards a static analysis of multi-language programs. - Samuele Buro; Roy L. Crole; Isabella Mastroeni (Formal Methods Syst. Des., 2025)

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation. - Luca Marzari; Isabella Mastroeni; Alessandro Farinelli (CoRR, 2025)

Formal Verification of Variational Quantum Circuits. - Nicola Assolini; Luca Marzari; Isabella Mastroeni; Alessandra Di Pierro (CoRR, 2025)