Search the dblp DataBase

Publications of Author

1. Michele Bugliesi, Riccardo Focardi, Matteo Maffei
   Authenticity by tagging and typing. [Citation Graph (0, 0)][DBLP]
   FMSE, 2004, pp:1-12 [Conf]
   
2. Michele Bugliesi, Riccardo Focardi, Matteo Maffei
   Analysis of Typed Analyses of Authentication Protocols. [Citation Graph (0, 0)][DBLP]
   CSFW, 2005, pp:112-125 [Conf]
   
3. Michele Bugliesi, Riccardo Focardi, Matteo Maffei
   Principles for Entity Authentication. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2003, pp:294-306 [Conf]
   
4. Michele Bugliesi, Riccardo Focardi, Matteo Maffei
   Compositional Analysis of Authentication Protocols. [Citation Graph (0, 0)][DBLP]
   ESOP, 2004, pp:140-154 [Conf]
   
5. Riccardo Focardi, Matteo Maffei
   The rho-spi Calculus at Work: Authentication Case Studies. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:267-293 [Journal]
   
6. Matteo Maffei
   Tags for Multi-Protocol Authentication. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:55-63 [Journal]
   
7. 
   The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   A calculus of challenges and responses. [Citation Graph (, )][DBLP]
   
   
9. 
   Type-checking zero-knowledge. [Citation Graph (, )][DBLP]
   
   
10. 
    Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. [Citation Graph (, )][DBLP]
    
    
11. 
    Causality-based Abstraction of Multiplicity in Security Protocols. [Citation Graph (, )][DBLP]
    
    
12. 
    Achieving Security Despite Compromise Using Zero-knowledge. [Citation Graph (, )][DBLP]
    
    
13. 
    Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. [Citation Graph (, )][DBLP]
    
    
14. 
    Anonymity and Censorship Resistance in Unstructured Overlay Networks. [Citation Graph (, )][DBLP]
    
    
15. 
    Anonymous Webs of Trust. [Citation Graph (, )][DBLP]
    
    
16. 
    Anonymous and censorship resistant content sharing in unstructured overlays. [Citation Graph (, )][DBLP]
    
    
17. 
    Brief announcement: anonymity and trust in distributed systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Inferring authentication tags. [Citation Graph (, )][DBLP]
    
    
19. 
    Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. [Citation Graph (, )][DBLP]