DB-Verify

DB-Verify contains the specification rules of some state-of-the-art distance-bounding protocols along with their Tamarin-implementation. It uses the formalism presented by Basin et al. in Let’s Get Physical: Models and Methods for Real-World Security Protocols, without considering time and location.

Content

Team

Sjouke Mauw, Zach Smith, Jorge Toro-Pozo and Rolando Trujillo-Rasua.