Brief Bio

I joined Facebook in 2012 as an iOS engineer on the mobile timeline team. I wear several hats here at Facebook. One of the ones I enjoy most is in my involvement in the Facebook University program, so if you're a rising sophomore looking for an exciting internship opportunity, please get in touch!

I was previously at Apple's Pittsburgh office, where I worked on the iWork productivity suite for iPad. I also co-taught the class at "Developing iPad Applications for Visualization and Insight" at CMU. That was a blast, and it remains one of the projects I'm most proud of.

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.

Writings

• I have a work-in-progress post about my own setup for developing in Objective-C/Cocoa using Emacs.  Feedback on it would be most welcome.

Work

My research focused 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.

Publications

I no longer have occasion to publish actively, as I've moved from a research role to an engineering one, but here are a few publications from back in the day.

• 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).