A Formalization of Off-Line Guessing for Security Protocol Analysis. - Paul Hankes Drielsma; Sebastian Mödersheim; Luca Viganò 001 (LPAR, 2004)

The ASW Protocol Revisited: A Unified View. - Paul Hankes Drielsma; Sebastian Mödersheim (ARSPA@IJCAR, 2004)

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. - 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; et al. (CAV, 2005)

Formalizing and Analyzing Sender Invariance. - Paul Hankes Drielsma; Sebastian Mödersheim; Luca Viganò 001; David A. Basin (Formal Aspects in Security and Trust, 2006)

User-controllable learning of security and privacy policies. - Patrick Gage Kelley; Paul Hankes Drielsma; Norman M. Sadeh; Lorrie Faith Cranor (AISec, 2008)

The impact of expressiveness on the effectiveness of privacy mechanisms for location-sharing. - Michael Benisch; Patrick Gage Kelley; Norman M. Sadeh; Tuomas Sandholm; Janice Y. Tsai; Lorrie Faith Cranor; Paul Hankes Drielsma (SOUPS, 2009)

Analyzing use of privacy policy attributes in a location sharing application. - Eran Toch; Ramprasad Ravichandran; Lorrie Faith Cranor; Paul Hankes Drielsma; Jason I. Hong; Patrick Gage Kelley; Norman M. Sadeh; Janice Y. Tsai (SOUPS, 2009)

Who's viewed you?: the impact of feedback in a mobile location-sharing application. - Janice Y. Tsai; Patrick Gage Kelley; Paul Hankes Drielsma; Lorrie Faith Cranor; Jason I. Hong; Norman M. Sadeh (SOUPS, 2009)

Locaccino: a privacy-centric location sharing application. - Eran Toch; Justin Cranshaw; Paul Hankes Drielsma; Jay Springfield; Patrick Gage Kelley; Lorrie Faith Cranor; Jason I. Hong; Norman M. Sadeh (UbiComp (Adjunct Papers), 2010)

Empirical models of privacy in location sharing. - Eran Toch; Justin Cranshaw; Paul Hankes Drielsma; Janice Y. Tsai; Patrick Gage Kelley; James Springfield; Lorrie Faith Cranor; Jason I. Hong; Norman M. Sadeh (UbiComp, 2010)