Brief Bio

I joined Apple's Pittsburgh office in 2009 as a software engineer.

In a previous life, I was an academic.  I joined the Mobile Commerce Lab at Carnegie Mellon University as a post-doc in June of 2007 after completing my Ph.D. in the Information Security group of ETH Zurich.  Previously, I attended Carleton University in Ottawa, Canada.  For my full bio, please take a look at my CV.

Work

My current research focuses on security and privacy, especially in the area of location privacy.  I am the project leader and one of the lead developers of Locaccino, an application for social location sharing with fine-grained privacy controls.  Locaccino is part of the "User-Controllable Security and Privacy" project, supported in part by the NSF.

Locaccino in the news

Locaccino has been attracting some positive attention in the press and the blogosphere, which makes me very proud of the team. Here are a few of the stories.

• Jeff Young visited us at CMU for a story about Locaccino in the Chronicle of Higher Education.
• Stephen Baker speculates as to whether Google will incorporate Locaccino's fine grained privacy controls into Latitude in a post on his Numerati blog.  He also gave a shout-out to Locaccino in his BusinessWeek blog.

Publications

• Janice Tsai, Patrick Kelley, Paul Hankes Drielsma, Lorrie Cranor, Jason Hong, and Norman Sadeh: Who's Viewed You?  The Impact of Feedback in a Mobile-Location System.  CHI ’09.
  

• Patrick Kelley, Paul Hankes Drielsma, Norman Sadeh, Lorrie Cranor. User Controllable Learning of Security and Privacy Policies.  AISec 2008.

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

• 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. Computer Assisted Verification (CAV 2005).
• Paul Hankes Drielsma, Sebastian Mödersheim: The ASW Protocol Revisited: A Unified View. Automated Reasoning for Security Protocols 2004.  ENTCS 125(1).
• Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò: A Formalization of Off-Line Guessing for Security Protocol Analysis. Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004).
• Yannick Chevalier, Luca Compagna, Jorge Cuellar, Paul Hankes Drielsma, Jacopo Mantovani, Sebastian Mödersheim and Laurent Vigneron, A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols.  In: Automated Software Engineering.  Proceedings of the Workshop on Specification and Automated Processing of Security Requirements (SAPS 2004).