Symbolic Verification of Distance Bounding Protocols.

Alexandre Debant Stéphanie Delaune

Published in: POST (2019)

Keyphrases

cryptographic protocols
model checking
high level
upper bound
distance function
communication protocols
symbolic description
protocol specification
case study
privacy preserving
distance transform
hamming distance
symbolic representation
minimum distance