Distance-Bounding Protocols: Verification Without Time and Location | IEEE Conference Publication | IEEE Xplore