Schmidt, Benedikt

ETH Zürich
Benedikt Schmidt
Informationssicherheit, Basin
CNB F 109.2
Universitätstrasse 6
8092 Zuerich

Phone: +41 44 632 84 70
E-Mail: 

Publications

Cremers, C., Rasmussen, K., Schmidt, B., and Capkun, S. 2012. Distance Hijacking Attacks on Distance Bounding Protocols. In S & P-33: Proceedings of 33rd IEEE Symposium on Security & Privacy. 2012. IEEE, to appear.

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt. Formal Reasoning about Physical Properties of Security Protocols. In ACM Transactions on Information and System Security (TISSEC). ACM, Volume 14, Number 2. 2011. (PDF)

Benedikt Schmidt, Patrick Schaller, David Basin. Impossibility Results for Secret Establishment, 23rd IEEE Computer Security Foundations Symposium (CSF-2010), July 2010. (PDF, Demo)

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. (PDF, Isabelle Theory Files)

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.(PDF,Isabelle Theory Files)

Manuscripts

Benedikt Schmidt, Simon Meier, Cas Cremers, David Basin. Automated Verification of Diffie-Hellman Protocols and Advanced Security Properties. 2012. Under Submission.(Draft, Tool)

Theses

A Cryptographically Sound Proof of an Electronic Payment System in Isabelle/HOL.
Diploma Thesis, Universität Karlsruhe (TH), 2007. (PDF)

Teaching

Spring 2011: teaching assistant for Formal Methods and Functional Programming (Informatik Bachelor)
Spring 2010: teaching assistant for Formal Methods and Functional Programming (Informatik Bachelor)
Spring 2009: teaching assistant for Formal Methods and Functional Programming (Informatik Bachelor)
Autumn 2008: teaching assistant for Diskrete Mathematik (Informatik Bachelor)
Spring 2008: teaching assistant for Formal Methods and Functional Programming (Informatik Bachelor)
Autumn 2007: teaching assistant for Lineare Algebra (Informatik Bachelor)