Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Mastroeni, Isabella - Dipartimento di Informatica, Universita` di Verona
What you lose is what you leak: Information leakage in declassification policies
Non-standard semantics for program slicing Roberto Giacobazzi and Isabella Mastroeni
Abstract Non-Interference on Databases Isabella Mastroeni and Rosalba Rossato
WEAKENING NON-INTERFERENCE ON DATABASES ISABELLA MASTROENI AND ROSALBA ROSSATO
Domain Compression for Complete Abstractions Roberto Giacobazzi and Isabella Mastroeni
Designing semantics by domain complementation Roberto Giacobazzi Isabella Mastroeni
ON THE R ^OLE OF ABSTRACT NON-INTERFERENCE IN LANGUAGE-BASED SECURITY
ADJOINING DECLASSIFICATION AND ATTACK MODELS BY ABSTRACT INTERPRETATION
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics
Numerical power analysis Isabella Mastroeni
A weakest precondition approach to active attacks analysis Musard Balliu
DATA DEPENDENCIES AND PROGRAM SLICING: FROM SYNTAX TO ABSTRACT SEMANTICS
Deriving Bisimulations by Simplifying Partitions Isabella Mastroeni
DERIVING BISIMULATIONS BY SIMPLIFYING Isabella Mastroeni
WHAT YOU LOSE IS WHAT YOU LEAK INFORMATION LEAKAGE IN DECLASSIFICATION POLICIES
On the R^ole of Abstract Non-Interference in Language-based Security
TIMED ABSTRACT NON-INTERFERENCE Roberto Giacobazzi and Isabella Mastroeni
GENERALIZED ABSTRACT NON-INTERFERENCE ABSTRACT SECURE INFORMATION-FLOW ANALYSIS FOR
Proving Abstract Non-interference Roberto Giacobazzi and Isabella Mastroeni
Abstract Non-Interference Parameterizing Non-Interference by Abstract Interpretation
Dipartimento di Informatica Universit`a degli Studi di Verona
Dipartimento di Informatica Universit`a degli Studi di Verona
Dipartimento di Informatica Universit`a degli Studi di Verona
Dipartimento di Informatica Universit`a degli Studi di Verona
Domain Compression for Complete Abstractions Roberto Giacobazzi and Isabella Mastroeni
THE PER MODEL OF ABSTRACT NON-INTERFERENCE Sebastian Hunt and Isabella Mastroeni
Algebraic Power Analysis by Abstract Interpretation Isabella Mastroeni
Numerical power analysis Isabella Mastroeni
Domain Compression for Complete Abstractions Roberto Giacobazzi and Isabella Mastroeni
Non-standard semantics for program slicing Roberto Giacobazzi and Isabella Mastroeni
Generalized Abstract Non-Interference Abstract Secure Information-flow Analysis for Automata
Designing semantics by domain complementation Roberto Giacobazzi Isabella Mastroeni
