MASTROENI, Isabella

MASTROENI, Isabella  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 78 (tempo di esecuzione: 0.05 secondi).
Titolo Data di pubblicazione Autore(i) File
14th International symposium on Verification, Model Checking and Abstract Interpretation 1-gen-2013 Giacobazzi, Roberto; J., Berdine; Mastroeni, Isabella
A proof System for Abstract Non-Interference 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference 1-gen-2018 Buro, Samuele; Mastroeni, Isabella
An abstract domain for objects in dynamic programming languages 1-gen-2020 Arceri, Vincenzo; Pasqua, Michele; Mastroeni, Isabella
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application 1-gen-2013 Mastroeni, Isabella
An Abstract Interpretation-based Model for Safety Semantics 1-gen-2011 Mastroeni, Isabella; Giacobazzi, Roberto
An Abstract Interpretation-based Model for Safety Semantics 1-gen-2009 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Non-Interference 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Non-Interference: A unifying framework for weakening information flow 1-gen-2018 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation 1-gen-2004 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing 1-gen-2017 Mastroeni, Isabella; Damiano, Zanardini
Abstract Program Slicing: From theory towards an implementation 1-gen-2010 Mastroeni, Isabella; Nikolic, Durica
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 1-gen-2015 DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 1-gen-2015 DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella
Active Android malware analysis: an approach based on stochastic games 1-gen-2016 Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining classified and unclassified information by Abstract Interpretation 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining classified and unclassified information by Abstract Interpretation 1-gen-2010 Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining Declassification and Attack Models by Abstract Interpretation 1-gen-2005 Giacobazzi, Roberto; Mastroeni, Isabella
Algebraic Power Analysis by Abstract Interpretation 1-gen-2004 Mastroeni, Isabella
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval 1-gen-2021 Arceri, Vincenzo; Mastroeni, Isabella