Isabella Mastroeni

发表

Modeling Secure Information Flow with Boolean Functions

S. Genaim, R. Giacobazzi, Isabella Mastroeni, 2004 .

Active Attacks in Abstract Non-Interference

Isabella Mastroeni, 2022 .

Weakening Non-Interference on Databases

Isabella Mastroeni, Rosalba Rossato, Isabella Mastroeni, 2006 .

Decoupling the ascending and descending phases in Abstract Interpretation

E. Zaffanella, Isabella Mastroeni, Vincenzo Arceri, 2022, ArXiv.

Talks I nformation Erasure : Varieties of Policies and Enforcement Mechanisms

M. Preda, Isabella Mastroeni, 2013 .

Decoupling the ascending and descending phases in Abstract Interpretation

E. Zaffanella, Isabella Mastroeni, Vincenzo Arceri, 2022, APLAS.

Proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 7737

Roberto Giacobazzi, Isabella Mastroeni, Josh Berdine, 2013, VMCAI 2013.

Modeling Information Flow Dependencies with Boolean Functions

Roberto Giacobazzi, Isabella Mastroeni, S. Genaim, 2004 .

An abstract interpretation-based model for safety semantics

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2011, Int. J. Comput. Math..

Transforming semantics by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2005, Theor. Comput. Sci..

Numerical Power Analysis

Isabella Mastroeni, Isabella Mastroeni, 2001, PADO.

Non-Standard Semantics for Program Slicing

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2003, High. Order Symb. Comput..

Weakening Additivity in Adjoining Closures

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2015, Order.

Weakening Additivity in Adjoining Closures

R. Giacobazzi, Isabella Mastroeni, 2015, Order.

A weakening residuation in adjoining closures

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2015 .

Making abstract models complete †

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2014, Mathematical Structures in Computer Science.

Controlled Model Deformation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2010 .

Transforming Abstract Interpretations by Abstract Interpretation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2008, SAS.

Transforming Abstract Interpretations by Abstract Interpretation New Challenges in Language-based Security

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2008 .

Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2012, SAS.

Characterizing a property-driven obfuscation strategy

Mila Dalla Preda, Isabella Mastroeni, M. Preda, 2017, J. Comput. Secur..

Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification

Michele Pasqua, Isabella Mastroeni, Isabella Mastroeni, 2017, SAS.

Abstract Program Slicing

Damiano Zanardini, Isabella Mastroeni, D. Zanardini, 2016, ACM Trans. Comput. Log..

A Formal Framework for Property-Driven Obfuscation Strategies

Roberto Giacobazzi, Mila Dalla Preda, Isabella Mastroeni, 2013, FCT.

Abstract Program Slicing: From Theory towards an Implementation

Isabella Mastroeni, Durica Nikolic, Isabella Mastroeni, 2010, ICFEM.

Data dependencies and program slicing: from syntax to abstract semantics

Damiano Zanardini, Isabella Mastroeni, D. Zanardini, 2008, PEPM '08.

Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference

Michele Pasqua, Isabella Mastroeni, Isabella Mastroeni, 2019, SAC.

Verifying Bounded Subset-Closed Hyperproperties

Michele Pasqua, Isabella Mastroeni, Isabella Mastroeni, 2018, SAS.

Abstract Non-Interference

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2018, ACM Trans. Priv. Secur..

Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference

Isabella Mastroeni, Samuele Buro, Isabella Mastroeni, 2018, VMCAI.

Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications

Isabella Mastroeni, Isabella Mastroeni, 2013, Festschrift for Dave Schmidt.

Adjoining classified and unclassified information by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2010, J. Comput. Secur..

A Proof System for Abstract Non-interference

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2010, J. Log. Comput..

A weakest precondition approach to active attacks analysis

Musard Balliu, Isabella Mastroeni, Isabella Mastroeni, 2009, PLAS '09.

On the Rôle of Abstract Non-interference in Language-Based Security

Isabella Mastroeni, Isabella Mastroeni, 2005, APLAS.

Timed Abstract Non-interference

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2005, FORMATS.

Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2005, MMM-ACNS.

Adjoining Declassification and Attack Models by Abstract Interpretation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2005, ESOP.

Proving Abstract Non-interference

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2004, CSL.

Abstract non-interference: parameterizing non-interference by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2004, POPL.

A Weakest Precondition Approach to Robustness

Musard Balliu, Isabella Mastroeni, Isabella Mastroeni, 2010, Trans. Comput. Sci..

On the Multi-Language Construction

Isabella Mastroeni, Samuele Buro, Isabella Mastroeni, 2019, ESOP.

Strong Preservation by Model Deformation

Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic, 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

R. Giacobazzi, Isabella Mastroeni, Josh Berdine, 2013 .

A characterization of symmetric semantics by domain complementation

Roberto Giacobazzi, Isabella Mastroeni, R. Giacobazzi, 2000, PPDP '00.