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.zip (Last update on Aug 7, 2017)

Folder layout

Team

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