Paul Hankes DrielsmaDad, Wanna-be Author, Software Engineer @ Facebook
Views expressed here are entirely my own and do not reflect those of my employer.
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.
- 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.
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.
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. ’09.
- Patrick Kelley, Paul Hankes Drielsma, Norman Sadeh, Lorrie Cranor. User Controllable Learning of Security and Privacy Policies. ec 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).