The SCEAS System
Navigation Menu

Search the dblp DataBase


Isabella Mastroeni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  16. Data dependencies and program slicing: from syntax to abstract semantics. [Citation Graph (, )][DBLP]

  17. A weakest precondition approach to active attacks analysis. [Citation Graph (, )][DBLP]

  18. Transforming Abstract Interpretations by Abstract Interpretation. [Citation Graph (, )][DBLP]

  19. Deriving Bisimulations by Simplifying Partitions. [Citation Graph (, )][DBLP]

Search in 0.005secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002