DBVerify

Information

This repository contains the source files for Tamarin analysis of distance-bounding security protocols. For further details, see our paper Distance-Bounding Protocols: Verification without Time and Location.

Download

DBVerify-Aug2017.zip - August 2017. This is the version that appeared with our submission to the IEEE S&P Conference

DBVerify-Feb2018.zip - February 2018. Some amendments thanks to observations by Alexandre Debant and Stephanie Delaune (IRISA, Rennes)

Folder layout

Team

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