 | 2008 |
|---|
| 18 |       | Isabella Mastroeni,
Damiano Zanardini:
Data dependencies and program slicing: from syntax to abstract semantics.
PEPM 2008: 125-134 |
| 17 | | Roberto Giacobazzi,
Isabella Mastroeni:
Transforming Abstract Interpretations by Abstract Interpretation.
SAS 2008: 1-17 |
| 16 | | Isabella Mastroeni:
Deriving Bisimulations by Simplifying Partitions.
VMCAI 2008: 157-171 |
| 2007 |
|---|
| 15 | | Anindya Banerjee,
Roberto Giacobazzi,
Isabella Mastroeni:
What You Lose is What You Leak: Information Leakage in Declassification Policies.
Electr. Notes Theor. Comput. Sci. 173: 47-66 (2007) |
| 2005 |
|---|
| 14 | | Isabella Mastroeni:
On the Rôle of Abstract Non-interference in Language-Based Security.
APLAS 2005: 418-433 |
| 13 | | Roberto Giacobazzi,
Isabella Mastroeni:
Adjoining Declassification and Attack Models by Abstract Interpretation.
ESOP 2005: 295-310 |
| 12 | | Roberto Giacobazzi,
Isabella Mastroeni:
Timed Abstract Non-interference.
FORMATS 2005: 289-303 |
| 11 | | Roberto Giacobazzi,
Isabella Mastroeni:
Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata.
MMM-ACNS 2005: 221-234 |
| 10 | | Sebastian Hunt,
Isabella Mastroeni:
The PER Model of Abstract Non-interference.
SAS 2005: 171-185 |
| 9 | | Roberto Giacobazzi,
Isabella Mastroeni:
Transforming semantics by abstract interpretation.
Theor. Comput. Sci. 337(1-3): 1-50 (2005) |
| 2004 |
|---|
| 8 | | Roberto Giacobazzi,
Isabella Mastroeni:
Proving Abstract Non-interference.
CSL 2004: 280-294 |
| 7 | | Roberto Giacobazzi,
Isabella Mastroeni:
Abstract non-interference: parameterizing non-interference by abstract interpretation.
POPL 2004: 186-197 |
| 6 | | Isabella Mastroeni:
Algebraic Power Analysis by Abstract Interpretation.
Higher-Order and Symbolic Computation 17(4): 297-345 (2004) |
| 2003 |
|---|
| 5 | | Roberto Giacobazzi,
Isabella Mastroeni:
Domain Compression for Complete Abstractions.
VMCAI 2003: 146-160 |
| 4 | | Roberto Giacobazzi,
Isabella Mastroeni:
Non-Standard Semantics for Program Slicing.
Higher-Order and Symbolic Computation 16(4): 297-339 (2003) |
| 2002 |
|---|
| 3 | | Roberto Giacobazzi,
Isabella Mastroeni:
Compositionality in the puzzle of semantics.
PEPM 2002: 87-97 |
| 2001 |
|---|
| 2 | | Isabella Mastroeni:
Numerical Power Analysis.
PADO 2001: 117-137 |
| 2000 |
|---|
| 1 | | Roberto Giacobazzi,
Isabella Mastroeni:
A characterization of symmetric semantics by domain complementation.
PPDP 2000: 115-126 |
