MASTROENI, Isabella
MASTROENI, Isabella
DIPARTIMENTO DI INFORMATICA
A characterization of symmetric semantics by domain complementation
2000-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
A Sound Abstract Interpreter for Dynamic Code
2020-01-01 Arceri, Vincenzo; Mastroeni, Isabella
A weakest precondition approach to active attacks analysis
2009-01-01 M., Balliu; Mastroeni, Isabella
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference
2018-01-01 Buro, Samuele; Mastroeni, Isabella
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application
2013-01-01 Mastroeni, Isabella
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation
2004-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Program Slicing: From theory towards an implementation
2010-01-01 Mastroeni, Isabella; Nikolic, Durica
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella
Active Android malware analysis: an approach based on stochastic games
2016-01-01 Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining Declassification and Attack Models by Abstract Interpretation
2005-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
An abstract domain for objects in dynamic programming languages
2020-01-01 Arceri, Vincenzo; Pasqua, Michele; Mastroeni, Isabella
Analyzing program dependences for malware detection.
2014-01-01 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
Chasing infections by unveiling program dependencies.
2013-01-01 DALLA PREDA, Mila; Mastroeni, Isabella
Completeness in Approximate Transduction
2016-01-01 Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella
Compositionality in the puzzle of semantics
2002-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics
2008-01-01 Mastroeni, Isabella; Zanardini, Damiano
Decoupling the Ascending and Descending Phases in Abstract Interpretation
2022-01-01 Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea
Deriving Bisimulations by Simplifying Partitions
2008-01-01 Mastroeni, Isabella
Designing Semantics by Domain Complementation
2000-01-01 Giacobazzi, Roberto; Mastroeni, Isabella