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-Feb2018.zip (contains amendments thanks to observations by A. Debant and S. Delaune from IRISA, Rennes)

Folder layout

Team

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