 | 2009 |
|---|
| 9 |       | 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 |
| 8 | | Eran Toch,
Ramprasad Ravichandran,
Lorrie Faith Cranor,
Paul Hankes Drielsma,
Jason I. Hong,
Patrick Gage Kelley,
Norman M. Sadeh,
Janice Y. Tsai:
Analyzing use of privacy policy attributes in a location sharing application.
SOUPS 2009 |
| 7 | | Michael Benisch,
Patrick Gage Kelley,
Norman M. Sadeh,
Tuomas Sandholm,
Janice Y. Tsai,
Lorrie Faith Cranor,
Paul Hankes Drielsma:
The impact of expressiveness on the effectiveness of privacy mechanisms for location-sharing.
SOUPS 2009 |
| 6 | | 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.
SOUPS 2009 |
| 2008 |
|---|
| 5 | | 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 | | 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 | | 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 | | 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 | | Paul Hankes Drielsma,
Sebastian Mödersheim,
Luca Viganò:
A Formalization of Off-Line Guessing for Security Protocol Analysis.
LPAR 2004: 363-379 |
