Isabella Mastroeni

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 40

Top Topics

Abstract Interpretation

Static Analysis

Information Flows

Top Venues

ACM Trans. Priv. Secur.

Publications

Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 46 (2) (2024)
Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
How Fitting is Your Abstract Domain? SAS (2023)
Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, Anna Becchi
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). Dagstuhl Reports 13 (7) (2023)
Isabella Mastroeni, Michele Pasqua
Domain Precision in Galois Connection-Less Abstract Interpretation. SAS (2023)
Roberto Giacobazzi, Isabella Mastroeni
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. SAS (2022)
Isabella Mastroeni, Michele Pasqua
Verifying opacity by abstract interpretation. SAC (2022)
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
Decoupling the ascending and descending phases in Abstract Interpretation. CoRR (2022)
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
Decoupling the Ascending and Descending Phases in Abstract Interpretation. APLAS (2022)
Vincenzo Arceri, Isabella Mastroeni
Eval. ACM Trans. Priv. Secur. 24 (2) (2021)
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
Completeness of string analysis for dynamic languages. Inf. Comput. 281 (2021)
Isabella Mastroeni, Vincenzo Arceri
Improving Dynamic Code Analysis by Code Abstraction. VPT@ETAPS (2021)
Samuele Buro, Roy L. Crole, Isabella Mastroeni
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. SAS (2020)
Samuele Buro, Roy L. Crole, Isabella Mastroeni
Equational Logic and Categorical Semantics for Multi-Languages. MFPS (2020)
Samuele Buro, Roy L. Crole, Isabella Mastroeni
Equational Logic and Set-Theoretic Models for Multi-Languages. ICTCS (2020)
Vincenzo Arceri, Isabella Mastroeni
A sound abstract interpreter for dynamic code. SAC (2020)
Samuele Buro, Isabella Mastroeni
On the semantic equivalence of language syntax formalisms. Theor. Comput. Sci. 840 (2020)
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
Completeness of Abstract Domains for String Analysis of JavaScript Programs. ICTAC (2019)
Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni
An Abstract Domain for Objects in Dynamic Programming Languages. FM Workshops (2) (2019)
Vincenzo Arceri, Isabella Mastroeni
An Automata-based Abstract Semantics for String Manipulation Languages. VPT@Programming (2019)
Isabella Mastroeni, Michele Pasqua
Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference. SAC (2019)
Samuele Buro, Isabella Mastroeni
On the Semantic Equivalence of Language Syntax Formalisms. ICTCS (2019)
Samuele Buro, Isabella Mastroeni
On the Multi-Language Construction. ESOP (2019)
Mila Dalla Preda, Isabella Mastroeni
Characterizing a property-driven obfuscation strategy. J. Comput. Secur. 26 (1) (2018)
Isabella Mastroeni, Michele Pasqua
Verifying Bounded Subset-Closed Hyperproperties. SAS (2018)
Samuele Buro, Isabella Mastroeni
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. VMCAI (2018)
Roberto Giacobazzi, Isabella Mastroeni
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow. ACM Trans. Priv. Secur. 21 (2) (2018)
Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda
Maximal incompleteness as obfuscation potency. Formal Aspects Comput. 29 (1) (2017)
Michele Pasqua, Isabella Mastroeni
On Topologies for (Hyper)Properties. ICTCS/CILC (2017)
Isabella Mastroeni, Damiano Zanardini
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing. ACM Trans. Comput. Log. 18 (1) (2017)
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
SEA: String Executability Analysis by Abstract Interpretation. CoRR (2017)
Isabella Mastroeni
Preface. Electron. Notes Theor. Comput. Sci. 331 (2017)
Isabella Mastroeni, Michele Pasqua
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. SAS (2017)
Isabella Mastroeni, Roberto Giacobazzi
Weakening Additivity in Adjoining Closures. Order 33 (3) (2016)
Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni
Active Android malware analysis: an approach based on stochastic games. SSPREW@ACSAC (2016)
Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
Completeness in Approximate Transduction. SAS (2016)
Roberto Giacobazzi, Isabella Mastroeni
Making abstract models complete. Math. Struct. Comput. Sci. 26 (4) (2016)
Isabella Mastroeni, Damiano Zanardini
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing. CoRR (2016)
Mila Dalla Preda, Isabella Mastroeni
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. SPRO@ICSE (2015)
Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. POPL (2015)
Fabio Bellini, Roberto Chiodi, Isabella Mastroeni
MIME: A Formal Approach to (Android) Emulation Malware Analysis. FPS (2015)
Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
Analyzing program dependencies for malware detection. PPREW@POPL (2014)
Isabella Mastroeni
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. Festschrift for Dave Schmidt (2013)
Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
A Formal Framework for Property-Driven Obfuscation Strategies. FCT (2013)
Roberto Giacobazzi, Isabella Mastroeni
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. SAS (2012)
Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni
Obfuscation by partial evaluation of distorted interpreters. PEPM (2012)
Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic
Strong Preservation by Model Deformation. TASE (2012)
Isabella Mastroeni, Roberto Giacobazzi
An abstract interpretation-based model for safety semantics. Int. J. Comput. Math. 88 (4) (2011)
Isabella Mastroeni, Anindya Banerjee
Modelling declassification policies using abstract domain completeness. Math. Struct. Comput. Sci. 21 (6) (2011)
Roberto Giacobazzi, Isabella Mastroeni
Adjoining classified and unclassified information by abstract interpretation. J. Comput. Secur. 18 (5) (2010)
Musard Balliu, Isabella Mastroeni
A Weakest Precondition Approach to Robustness. Trans. Comput. Sci. 10 (2010)
Isabella Mastroeni, Durica Nikolic
Abstract Program Slicing: From Theory towards an Implementation. ICFEM (2010)
Roberto Giacobazzi, Isabella Mastroeni
A Proof System for Abstract Non-interference. J. Log. Comput. 20 (2) (2010)
Musard Balliu, Isabella Mastroeni
A weakest precondition approach to active attacks analysis. PLAS (2009)
Roberto Giacobazzi, Isabella Mastroeni
Transforming Abstract Interpretations by Abstract Interpretation. SAS (2008)
Isabella Mastroeni
Deriving Bisimulations by Simplifying Partitions. VMCAI (2008)
Isabella Mastroeni, Damiano Zanardini
Data dependencies and program slicing: from syntax to abstract semantics. PEPM (2008)
Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni
What You Lose is What You Leak: Information Leakage in Declassification Policies. MFPS (2007)
Isabella Mastroeni
On the Rôle of Abstract Non-interference in Language-Based Security. APLAS (2005)
Roberto Giacobazzi, Isabella Mastroeni
Adjoining Declassification and Attack Models by Abstract Interpretation. ESOP (2005)
Roberto Giacobazzi, Isabella Mastroeni
Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. MMM-ACNS (2005)
Sebastian Hunt, Isabella Mastroeni
The PER Model of Abstract Non-interference. SAS (2005)
Roberto Giacobazzi, Isabella Mastroeni
Transforming semantics by abstract interpretation. Theor. Comput. Sci. 337 (1-3) (2005)
Roberto Giacobazzi, Isabella Mastroeni
Timed Abstract Non-interference. FORMATS (2005)
Roberto Giacobazzi, Isabella Mastroeni
Proving Abstract Non-interference. CSL (2004)
Roberto Giacobazzi, Isabella Mastroeni
Abstract non-interference: parameterizing non-interference by abstract interpretation. POPL (2004)
Isabella Mastroeni
Algebraic Power Analysis by Abstract Interpretation. High. Order Symb. Comput. 17 (4) (2004)
Roberto Giacobazzi, Isabella Mastroeni
Non-Standard Semantics for Program Slicing. High. Order Symb. Comput. 16 (4) (2003)
Roberto Giacobazzi, Isabella Mastroeni
Domain Compression for Complete Abstractions. VMCAI (2003)
Roberto Giacobazzi, Isabella Mastroeni
Compositionality in the puzzle of semantics. PEPM (2002)
Isabella Mastroeni
Numerical Power Analysis. PADO (2001)
Roberto Giacobazzi, Isabella Mastroeni
A characterization of symmetric semantics by domain complementation. PPDP (2000)