Search the dblp DataBase

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]