Paul Hankes Drielsma 

Brief Bio

I joined the Mobile Commerce Lab as a post-doc in June of 2007 after completing my Ph.D. in the Information Security group of ETH Zurich.

Publications

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