Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks. - Patrick Schaller; Benedikt Schmidt 002; David A. Basin; Srdjan Capkun (CSF, 2009)

Let's Get Physical: Models and Methods for Real-World Security Protocols. - David A. Basin; Srdjan Capkun; Patrick Schaller; Benedikt Schmidt 002 (TPHOLs, 2009)

Impossibility Results for Secret Establishment. - Benedikt Schmidt 002; Patrick Schaller; David A. Basin (CSF, 2010)

Formal Reasoning about Physical Properties of Security Protocols. - David A. Basin; Srdjan Capkun; Patrick Schaller; Benedikt Schmidt 002 (ACM Trans. Inf. Syst. Secur., 2011)

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. - Benedikt Schmidt 002; Simon Meier; Cas Cremers; David A. Basin (CSF, 2012)

Distance Hijacking Attacks on Distance Bounding Protocols. - Cas Cremers; Kasper Bonne Rasmussen; Benedikt Schmidt 002; Srdjan Capkun (IEEE Symposium on Security and Privacy, 2012)

Formal analysis of key exchange protocols and physical protocols. - Benedikt Schmidt 002 (2012)

The TAMARIN Prover for the Symbolic Analysis of Security Protocols. - Simon Meier; Benedikt Schmidt 002; Cas Cremers; David A. Basin (CAV, 2013)

Automated Verification of Group Key Agreement Protocols. - Benedikt Schmidt 002; Ralf Sasse; Cas Cremers; David A. Basin (IEEE Symposium on Security and Privacy, 2014)

Tamarin Prover 1.8.0. - David A. Basin; Cas Cremers; Jannik Dreier; Simon Meier; Sasse Sasse; Benedikt Schmidt 002 (Zenodo, 2023)

Tamarin Prover. - David A. Basin; Cas Cremers; Jannik Dreier; Simon Meier; Ralf Sasse; Benedikt Schmidt 002 (Zenodo, 2024)