MASTROENI, Isabella

MASTROENI, Isabella  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
A proof System for Abstract Non-Interference 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
A weakening residuation in adjoining closures 1-gen-2015 Mastroeni, Isabella; Giacobazzi, Roberto
Abstract Non-Interference 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining classified and unclassified information by Abstract Interpretation 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
An Abstract Interpretation-based Model for Safety Semantics 1-gen-2009 Giacobazzi, Roberto; Mastroeni, Isabella
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks 1-gen-2017 Buro, Samuele; Mastroeni, Isabella
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis 1-gen-2015 Bellini, Fabio; Chiodi, Roberto; Mastroeni, Isabella
Modelling Declassification Policies using Abstract Domain Completeness 1-gen-2008 Mastroeni, Isabella; A., Banerjee
SEA: String Executability Analysis by Abstract Interpretation 1-gen-2017 Arceri, Vincenzo; DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella