Paul Hankes Drielsma
Dad, Wanna-be Author, Software Engineer @ FacebookViews expressed here are entirely my own and do not reflect those of my employer.
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).