Open AccessSo Near and Yet So Far – Symbolic Verification of Distance-Bounding Protocols
Author(s) -
Alexandre Debant,
Stéphanie Delaune,
Cyrille Wiedling
Publication year - 2022
Publication title -
acm transactions on privacy and security
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.743
H-Index - 14
eISSN - 2471-2574
pISSN - 2471-2566
DOI - 10.1145/3501402
Subject(s) - computer science , mathematical proof , bounding overwatch , computer security , cryptographic protocol , field (mathematics) , payment , security analysis , theoretical computer science , cryptography , artificial intelligence , world wide web , geometry , mathematics , pure mathematics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom