MASTROENI, Isabella
MASTROENI, Isabella
DIPARTIMENTO DI INFORMATICA
A proof system for Abstract Non-Interference
2010-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
A Weakest Precondition Approach to Robustness
2010-01-01 M., Balliu; Mastroeni, Isabella
Abstract Non-Interference: A unifying framework for weakening information flow
2018-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing
2017-01-01 Mastroeni, Isabella; Damiano, Zanardini
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining classified and unclassified information by Abstract Interpretation
2010-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation
2024-01-01 Giacobazzi, Roberto; Mastroeni, Isabella; Perantoni, Elia
Algebraic Power Analysis by Abstract Interpretation
2004-01-01 Mastroeni, Isabella
An Abstract Interpretation-based Model for Safety Semantics
2011-01-01 Mastroeni, Isabella; Giacobazzi, Roberto
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval
2021-01-01 Arceri, Vincenzo; Mastroeni, Isabella
Characterizing A Property-Driven Obfuscation Strategy
2018-01-01 DALLA PREDA, Mila; Mastroeni, Isabella
Completeness of string analysis for dynamic languages
2021-01-01 Arceri, V; Olliaro, M; Cortesi, A; Mastroeni, I
Making abstract models complete
2016-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Maximal incompleteness as obfuscation potency
2017-01-01 Giacobazzi, Roberto; Mastroeni, Isabella; DALLA PREDA, Mila
Modeling Declassification Policies using Abstract Domain Completeness
2011-01-01 Mastroeni, Isabella; A., Banerjee
Non-Standard Semantics for Program Slicing
2003-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
On multi-language abstraction: Towards a static analysis of multi-language programs
2023-01-01 Buro, Samuele; Crole, Roy; Mastroeni, Isabella
On the semantic equivalence of language syntax formalisms
2020-01-01 Buro, Samuele; Mastroeni, Isabella
Static Analysis for ECMAScript String Manipulation Programs
2020-01-01 Arceri, Vincenzo; Mastroeni, Isabella; Xu, Sunyi
Transforming semantics by abstract interpretation
2005-01-01 Giacobazzi, Roberto; Mastroeni, Isabella