Isabella Mastroeni

86 papers A* 2A 3B 23C 6Misc 4Journal 27Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Abstract Interpretation-based Verification for Confidentiality: Information Hiding and Code Protection by Abstract Interpretation.
ACM Trans. Priv. Secur.
Isabella Mastroeni, Michele Pasqua
2026 B conf
Abstract Lipschitz Continuity - Combining Semantic and Quantitative Approximations.
FoSSaCS
Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban
2025 — conf
A Static Analysis of Entanglement.
VMCAI (2)
Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
2025 — conf
Abstract Local Completeness - A Local Form of Abstract Non-interference.
VMCAI (2)
Isabella Mastroeni
2025 A conf
Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation.
ECAI
Luca Marzari, Isabella Mastroeni, Alessandro Farinelli
2025 J jnl
Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation.
CoRR
Luca Marzari, Isabella Mastroeni, Alessandro Farinelli
2025 J jnl
Formal Verification of Variational Quantum Circuits.
CoRR
Nicola Assolini, Luca Marzari, Isabella Mastroeni, Alessandra Di Pierro
2025 J jnl
On multi-language abstraction: Towards a static analysis of multi-language programs.
Formal Methods Syst. Des.
Samuele Buro, Roy L. Crole, Isabella Mastroeni
2025 B conf
Relating Distances and Abstractions - An Abstract Interpretation Perspective.
SAS
Marco Campion, Isabella Mastroeni, Caterina Urban
2024 J jnl
Abstract domain adequacy.
Int. J. Softw. Tools Technol. Transf.
Isabella Mastroeni
2024 — conf
Abstracting Entanglement.
NSAD@SAS
Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
2024 J jnl
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation.
ACM Trans. Program. Lang. Syst.
Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
2024 B conf
Static Analysis of Quantum Programs.
SAS
Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
2023 B conf
Domain Precision in Galois Connection-Less Abstract Interpretation.
SAS
Isabella Mastroeni, Michele Pasqua
2023 B conf
How Fitting is Your Abstract Domain?
SAS
Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
2023 J jnl
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281).
Dagstuhl Reports
Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi
2022 B conf
Decoupling the Ascending and Descending Phases in Abstract Interpretation.
APLAS
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
2022 J jnl
Decoupling the ascending and descending phases in Abstract Interpretation.
CoRR
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
2022 B conf
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation.
SAS
Roberto Giacobazzi, Isabella Mastroeni
2022 Misc conf
Verifying opacity by abstract interpretation.
SAC
Isabella Mastroeni, Michele Pasqua
2021 J jnl
Analyzing Dynamic Code: A Sound Abstract Interpreter for
ACM Trans. Priv. Secur.
Vincenzo Arceri, Isabella Mastroeni
2021 J jnl
Completeness of string analysis for dynamic languages.
Inf. Comput.
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
2021 — conf
Improving Dynamic Code Analysis by Code Abstraction.
VPT@ETAPS
Isabella Mastroeni, Vincenzo Arceri
2020 Misc conf
A sound abstract interpreter for dynamic code.
SAC
Vincenzo Arceri, Isabella Mastroeni
2020 B conf
Equational Logic and Categorical Semantics for Multi-Languages.
MFPS
Samuele Buro, Roy L. Crole, Isabella Mastroeni
2020 — conf
Equational Logic and Set-Theoretic Models for Multi-Languages.
ICTCS
Samuele Buro, Roy L. Crole, Isabella Mastroeni
2020 B conf
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs.
SAS
Samuele Buro, Roy L. Crole, Isabella Mastroeni
2020 J jnl
On the semantic equivalence of language syntax formalisms.
Theor. Comput. Sci.
Samuele Buro, Isabella Mastroeni
2019 — conf
An Abstract Domain for Objects in Dynamic Programming Languages.
FM Workshops (2)
Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni
2019 — conf
An Automata-based Abstract Semantics for String Manipulation Languages.
VPT@Programming
Vincenzo Arceri, Isabella Mastroeni
2019 C conf
Completeness of Abstract Domains for String Analysis of JavaScript Programs.
ICTAC
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
2019 A conf
On the Multi-Language Construction.
ESOP
Samuele Buro, Isabella Mastroeni
2019 — conf
On the Semantic Equivalence of Language Syntax Formalisms.
ICTCS
Samuele Buro, Isabella Mastroeni
2019 Misc conf
Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference.
SAC
Isabella Mastroeni, Michele Pasqua
2018 B conf
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference.
VMCAI
Samuele Buro, Isabella Mastroeni
2018 J jnl
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow.
ACM Trans. Priv. Secur.
Roberto Giacobazzi, Isabella Mastroeni
2018 J jnl
Characterizing a property-driven obfuscation strategy.
J. Comput. Secur.
Mila Dalla Preda, Isabella Mastroeni
2018 B conf
Verifying Bounded Subset-Closed Hyperproperties.
SAS
Isabella Mastroeni, Michele Pasqua
2017 J jnl
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing.
ACM Trans. Comput. Log.
Isabella Mastroeni, Damiano Zanardini
2017 B conf
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification.
SAS
Isabella Mastroeni, Michele Pasqua
2017 J jnl
Maximal incompleteness as obfuscation potency.
Formal Aspects Comput.
Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda
2017 — conf
On Topologies for (Hyper)Properties.
ICTCS/CILC
Michele Pasqua, Isabella Mastroeni
2017 — ed.
Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016
NSAD@SAS
Isabella Mastroeni
2017 J jnl
SEA: String Executability Analysis by Abstract Interpretation.
CoRR
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
2016 J jnl
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing.
CoRR
Isabella Mastroeni, Damiano Zanardini
2016 — conf
Active Android malware analysis: an approach based on stochastic games.
SSPREW@ACSAC
Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni
2016 B conf
Completeness in Approximate Transduction.
SAS
Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
2016 J jnl
Making abstract models complete.
Math. Struct. Comput. Sci.
Roberto Giacobazzi, Isabella Mastroeni
2016 — conf
Preface.
NSAD@SAS
Isabella Mastroeni
2016 J jnl
Weakening Additivity in Adjoining Closures.
Order
Isabella Mastroeni, Roberto Giacobazzi
2015 A* conf
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables.
POPL
Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni
2015 — conf
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications.
SPRO@ICSE
Mila Dalla Preda, Isabella Mastroeni
2015 — conf
MIME: A Formal Approach to (Android) Emulation Malware Analysis.
FPS
Fabio Bellini, Roberto Chiodi, Isabella Mastroeni
2014 — conf
Analyzing program dependencies for malware detection.
PPREW@POPL
Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
2013 B conf
A Formal Framework for Property-Driven Obfuscation Strategies.
FCT
Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
2013 — conf
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications.
Festschrift for Dave Schmidt
Isabella Mastroeni
2013 B ed.
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
VMCAI
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
2012 B conf
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation.
SAS
Roberto Giacobazzi, Isabella Mastroeni
2012 C conf
Obfuscation by partial evaluation of distorted interpreters.
PEPM
Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni
2012 Misc conf
Strong Preservation by Model Deformation.
TASE
Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic
2011 J jnl
An abstract interpretation-based model for safety semantics.
Int. J. Comput. Math.
Isabella Mastroeni, Roberto Giacobazzi
2011 J jnl
Modelling declassification policies using abstract domain completeness.
Math. Struct. Comput. Sci.
Isabella Mastroeni, Anindya Banerjee
2010 J jnl
A Proof System for Abstract Non-interference.
J. Log. Comput.
Roberto Giacobazzi, Isabella Mastroeni
2010 J jnl
A Weakest Precondition Approach to Robustness.
Trans. Comput. Sci.
Musard Balliu, Isabella Mastroeni
2010 C conf
Abstract Program Slicing: From Theory towards an Implementation.
ICFEM
Isabella Mastroeni, Durica Nikolic
2010 J jnl
Adjoining classified and unclassified information by abstract interpretation.
J. Comput. Secur.
Roberto Giacobazzi, Isabella Mastroeni
2009 — conf
A weakest precondition approach to active attacks analysis.
PLAS
Musard Balliu, Isabella Mastroeni
2008 C conf
Data dependencies and program slicing: from syntax to abstract semantics.
PEPM
Isabella Mastroeni, Damiano Zanardini
2008 B conf
Deriving Bisimulations by Simplifying Partitions.
VMCAI
Isabella Mastroeni
2008 B conf
Transforming Abstract Interpretations by Abstract Interpretation.
SAS
Roberto Giacobazzi, Isabella Mastroeni
2007 B conf
What You Lose is What You Leak: Information Leakage in Declassification Policies.
MFPS
Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni
2005 — —
Abstract non-interference.
Isabella Mastroeni
2005 A conf
Adjoining Declassification and Attack Models by Abstract Interpretation.
ESOP
Roberto Giacobazzi, Isabella Mastroeni
2005 — conf
Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata.
MMM-ACNS
Roberto Giacobazzi, Isabella Mastroeni
2005 B conf
On the Rôle of Abstract Non-interference in Language-Based Security.
APLAS
Isabella Mastroeni
2005 B conf
The PER Model of Abstract Non-interference.
SAS
Sebastian Hunt, Isabella Mastroeni
2005 — conf
Timed Abstract Non-interference.
FORMATS
Roberto Giacobazzi, Isabella Mastroeni
2005 J jnl
Transforming semantics by abstract interpretation.
Theor. Comput. Sci.
Roberto Giacobazzi, Isabella Mastroeni
2004 A* conf
Abstract non-interference: parameterizing non-interference by abstract interpretation.
POPL
Roberto Giacobazzi, Isabella Mastroeni
2004 J jnl
Algebraic Power Analysis by Abstract Interpretation.
High. Order Symb. Comput.
Isabella Mastroeni
2004 B conf
Proving Abstract Non-interference.
CSL
Roberto Giacobazzi, Isabella Mastroeni
2003 B conf
Domain Compression for Complete Abstractions.
VMCAI
Roberto Giacobazzi, Isabella Mastroeni
2003 J jnl
Non-Standard Semantics for Program Slicing.
High. Order Symb. Comput.
Roberto Giacobazzi, Isabella Mastroeni
2002 C conf
Compositionality in the puzzle of semantics.
PEPM
Roberto Giacobazzi, Isabella Mastroeni
2001 — conf
Numerical Power Analysis.
PADO
Isabella Mastroeni
2000 C conf
A characterization of symmetric semantics by domain complementation.
PPDP
Roberto Giacobazzi, Isabella Mastroeni