MASTROENI, Isabella

MASTROENI, Isabella  

DIPARTIMENTO DI INFORMATICA  

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