Dr. Patrick Schaller

ETH Zürich
Dr. Patrick Schaller
Professur f. Informationssicherheit/ZISC
CAB F 89
Universitätstrasse 6
8092 Zürich

Phone: +41 44 632 73 57
E-Mail: 

Research Interests

My research is concerned with the formalization and analysis of security protocols. I am affiliated to the MICS project, where we focus our research on the security of protocols for wireless networks, such as vehicular networks.

Publications

• Patrick Schaller, Srdjan Capkun, David Basin. BAP: Broadcast Authentication using Cryptographic Puzzles. International Conference on Applied Cryptography and Network Security, ACNS, June 2007.
• Panos Papadimitratos, Marcin Poturalski, Patrick Schaller, Pascal Lafourcade, David Basin, Srdjan Capkun, Jean-Pierre Hubeaux. Secure neighborhood discovery: a fundamental element for mobile ad hoc networking. Communications Magazine, IEEE, February 2008
• Patrick Schaller, Benedikt Schmidt, David Basin, Srdjan Capkun. Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks. Technical Reports 600, ETH Zürich, Information Security Group D-INFK , 07 2008.
• Patrick Schaller, Benedikt Schmidt, David Basin, Srdjan Capkun. Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks. 22nd IEEE Computer Security Foundations Symposium (CSF-22), July 2009
• David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt. Let's get physical: Models and Methods for Real-World Security Protocols, Proceedings of the 22nd TPHOLs (International Conference on Theorem Proving in Higher Order Logics), 2009
• Benedikt Schmidt, Patrick Schaller, David Basin. Impossibility Results for Secret Establishment. 23rd IEEE Computer Security Foundations Symposium (CSF-2010), July 2010

Teaching

• WS05/06: Security Engineering
• SS06: System Security
• WS06/07: Security Engineering
• AS07: Applied Security Laboratory
• AS08: Applied Security Laboratory
• AS09: Applied Security Laboratory
• AS10: Applied Security Laboratory

Tutorials

• Tutorial on Buffer Overflows in C: PDF
• Tutorial on using the On-the-Fly Model Checker OFMC for Security Protocols (using IF as a specification language): PDF

Supervised Master/Semester Theses

• Master Thesis: "Security Properties of Device Pairing Protocols" by Reto Ischi