The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberto Zunino: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roberto Zunino, Pierpaolo Degano
    A Note on the Perfect Encryption Assumption in a Process Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:514-528 [Conf]
  2. Roberto Zunino, Pierpaolo Degano
    Handling exp, × (and Timestamps) in Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:413-427 [Conf]
  3. Roberto Zunino
    Control Flow Analysis for the Applied Pi-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:87-110 [Journal]
  4. Roberto Zunino, Pierpaolo Degano
    Weakening the perfect encryption assumption in Dolev-Yao adversaries. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:340, n:1, pp:154-178 [Journal]
  5. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
    Secure Service Orchestration. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2007, pp:24-74 [Conf]
  6. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
    Types and Effects for Resource Usage Analysis. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:32-47 [Conf]

  7. nu-Types for Effects and Freshness Analysis. [Citation Graph (, )][DBLP]


  8. A Calculus of Contracting Processes. [Citation Graph (, )][DBLP]


  9. Model Checking Usage Policies. [Citation Graph (, )][DBLP]


  10. Hard Life with Weak Binders. [Citation Graph (, )][DBLP]


  11. Jalapa: Securing Java with Local Policies: Tool Demonstration. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002