TY  - RPRT
TI  - Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols
AU  - Max Kanovich
AU  - Tajana Ban Kirigin
AU  - Vivek Nigam
AU  - Andre Scedrov
AU  - Carolyn Talcott
PY  - 2017
DO  - 10.3233/jcs-0560
UR  - https://arxiv.org/abs/1702.03504
ID  - 1702.03504
ER  -