So Near and Yet So Far - Symbolic Verification of Distance-Bounding Protocols.
Alexandre DebantStéphanie DelauneCyrille WiedlingPublished in: ACM Trans. Priv. Secur. (2022)
Keyphrases
- cryptographic protocols
- formal verification
- high level
- upper bound
- distance measure
- model checking
- voting protocols
- verification method
- distance metric
- data sets
- face verification
- tree traversal
- high security
- neural learning
- distance measurement
- communication protocols
- application level
- hamming distance
- dissimilarity measure
- euclidean distance
- distance function
- case study