| 2009 |
|---|
| 6 | EE | Janice Y. Tsai,
Patrick Gage Kelley,
Paul Hankes Drielsma,
Lorrie Faith Cranor,
Jason I. Hong,
Norman M. Sadeh:
Who's viewed you?: the impact of feedback in a mobile location-sharing application.
CHI 2009: 2003-2012 |
| 2008 |
|---|
| 5 | EE | Patrick Gage Kelley,
Paul Hankes Drielsma,
Norman M. Sadeh,
Lorrie Faith Cranor:
User-controllable learning of security and privacy policies.
AISec 2008: 11-18 |
| 2006 |
|---|
| 4 | EE | Paul Hankes Drielsma,
Sebastian Mödersheim,
Luca Viganò,
David A. Basin:
Formalizing and Analyzing Sender Invariance.
Formal Aspects in Security and Trust 2006: 80-95 |
| 2005 |
|---|
| 3 | EE | 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.
CAV 2005: 281-285 |
| 2 | EE | Paul Hankes Drielsma,
Sebastian Mödersheim:
The ASW Protocol Revisited: A Unified View.
Electr. Notes Theor. Comput. Sci. 125(1): 145-161 (2005) |
| 2004 |
|---|
| 1 | EE | Paul Hankes Drielsma,
Sebastian Mödersheim,
Luca Viganò:
A Formalization of Off-Line Guessing for Security Protocol Analysis.
LPAR 2004: 363-379 |
