Benedikt Schmidt

According to our database, Benedikt Schmidt authored at least 9 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Automated Verification of Group Key Agreement Protocols.

Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

2013

The TAMARIN Prover for the Symbolic Analysis of Security Protocols.

Simon Meier, Benedikt Schmidt, Cas Cremers, David A. Basin

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Formal analysis of key exchange protocols and physical protocols.

Benedikt Schmidt

PhD thesis, 2012

Distance Hijacking Attacks on Distance Bounding Protocols.

Cas Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt, Srdjan Capkun

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties.

Benedikt Schmidt, Simon Meier, Cas Cremers, David A. Basin

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Formal Reasoning about Physical Properties of Security Protocols.

David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt

ACM Trans. Inf. Syst. Secur., 2011

2010

Impossibility Results for Secret Establishment.

Benedikt Schmidt, Patrick Schaller, David A. Basin

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Let's Get Physical: Models and Methods for Real-World Security Protocols.

David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks.

Patrick Schaller, Benedikt Schmidt, David A. Basin, Srdjan Capkun

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009