Isabella Mastroeni (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

17		Roberto Giacobazzi, Isabella Mastroeni: Transforming Abstract Interpretations by Abstract Interpretation. SAS 2008: 1-17
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)
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
9		Roberto Giacobazzi, Isabella Mastroeni: Transforming semantics by abstract interpretation. Theor. Comput. Sci. 337(1-3): 1-50 (2005)
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
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)
3		Roberto Giacobazzi, Isabella Mastroeni: Compositionality in the puzzle of semantics. PEPM 2002: 87-97
1		Roberto Giacobazzi, Isabella Mastroeni: A characterization of symmetric semantics by domain complementation. PPDP 2000: 115-126

Selection of 12 from 18 records - Isabella Mastroeni has 4 coauthors