Isabella Mastroeni

Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (Eds.): Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7737, Springer 2013, isbn 978-3-642-35872-2

Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni: Obfuscation by partial evaluation of distorted interpreters. PEPM 2012: 63-72

Roberto Giacobazzi, Isabella Mastroeni: Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. SAS 2012: 129-145

Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic: Strong Preservation by Model Deformation. TASE 2012: 33-40

Isabella Mastroeni, Roberto Giacobazzi: An abstract interpretation-based model for safety semantics. Int. J. Comput. Math. 88(4): 665-694 (2011)

Isabella Mastroeni, Anindya Banerjee: Modelling declassification policies using abstract domain completeness. Mathematical Structures in Computer Science 21(6): 1253-1299 (2011)

Roberto Giacobazzi, Isabella Mastroeni: Adjoining classified and unclassified information by abstract interpretation. Journal of Computer Security 18(5): 751-797 (2010)

Roberto Giacobazzi, Isabella Mastroeni: A Proof System for Abstract Non-interference. J. Log. Comput. 20(2): 449-479 (2010)

Musard Balliu, Isabella Mastroeni: A Weakest Precondition Approach to Robustness. Transactions on Computational Science 10: 261-297 (2010)

Isabella Mastroeni, Durica Nikolic: Abstract Program Slicing: From Theory towards an Implementation. ICFEM 2010: 452-467

Musard Balliu, Isabella Mastroeni: A weakest precondition approach to active attacks analysis. PLAS 2009: 59-71

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

Roberto Giacobazzi, Isabella Mastroeni: Transforming Abstract Interpretations by Abstract Interpretation. SAS 2008: 1-17

Isabella Mastroeni: Deriving Bisimulations by Simplifying Partitions. VMCAI 2008: 157-171

Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni: What You Lose is What You Leak: Information Leakage in Declassification Policies. Electr. Notes Theor. Comput. Sci. 173: 47-66 (2007)

Roberto Giacobazzi, Isabella Mastroeni: Transforming semantics by abstract interpretation. Theor. Comput. Sci. 337(1-3): 1-50 (2005)

Isabella Mastroeni: On the Rôle of Abstract Non-interference in Language-Based Security. APLAS 2005: 418-433

Roberto Giacobazzi, Isabella Mastroeni: Adjoining Declassification and Attack Models by Abstract Interpretation. ESOP 2005: 295-310

Roberto Giacobazzi, Isabella Mastroeni: Timed Abstract Non-interference. FORMATS 2005: 289-303

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

Sebastian Hunt, Isabella Mastroeni: The PER Model of Abstract Non-interference. SAS 2005: 171-185

Isabella Mastroeni: Algebraic Power Analysis by Abstract Interpretation. Higher-Order and Symbolic Computation 17(4): 297-345 (2004)

Roberto Giacobazzi, Isabella Mastroeni: Proving Abstract Non-interference. CSL 2004: 280-294

Roberto Giacobazzi, Isabella Mastroeni: Abstract non-interference: parameterizing non-interference by abstract interpretation. POPL 2004: 186-197

Roberto Giacobazzi, Isabella Mastroeni: Non-Standard Semantics for Program Slicing. Higher-Order and Symbolic Computation 16(4): 297-339 (2003)

Roberto Giacobazzi, Isabella Mastroeni: Domain Compression for Complete Abstractions. VMCAI 2003: 146-160

Roberto Giacobazzi, Isabella Mastroeni: Compositionality in the puzzle of semantics. PEPM 2002: 87-97

Isabella Mastroeni: Numerical Power Analysis. PADO 2001: 117-137

Roberto Giacobazzi, Isabella Mastroeni: A characterization of symmetric semantics by domain complementation. PPDP 2000: 115-126