Computational and symbolic analysis of distance-bounding protocols

Jorge Luis Toro Pozo. Computational and symbolic analysis of distance-bounding protocols. PhD thesis, University of Luxembourg, Luxembourg City, Luxembourg, 2019. [doi]

Abstract

Abstract is missing.