Search the dblp DataBase

Publications of Author

1. Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
   The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:281-285 [Conf]
   
2. Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò
   A Formalization of Off-Line Guessing for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
   LPAR, 2004, pp:363-379 [Conf]
   
3. Paul Hankes Drielsma, Sebastian Mödersheim
   The ASW Protocol Revisited: A Unified View. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:145-161 [Journal]
   
4. Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin
   Formalizing and Analyzing Sender Invariance. [Citation Graph (0, 0)][DBLP]
   Formal Aspects in Security and Trust, 2006, pp:80-95 [Conf]
   
5. 
   User-controllable learning of security and privacy policies. [Citation Graph (, )][DBLP]
   
   
6. 
   Who's viewed you?: the impact of feedback in a mobile location-sharing application. [Citation Graph (, )][DBLP]
   
   
7. 
   Who's viewed you?: the impact of feedback in a mobile location-sharing application. [Citation Graph (, )][DBLP]
   
   
8. 
   The impact of expressiveness on the effectiveness of privacy mechanisms for location-sharing. [Citation Graph (, )][DBLP]
   
   
9. 
   Analyzing use of privacy policy attributes in a location sharing application. [Citation Graph (, )][DBLP]