The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002