Attacks on Karlsson and Mitrokotsa's Grouping-Proof-Distance-Bounding Protocol.
Roel PeetersJens HermansAysajan AbidinPublished in: IACR Cryptol. ePrint Arch. (2017)
Keyphrases
- cryptographic protocols
- security protocols
- secure routing
- denial of service attacks
- formal proof
- lightweight
- cryptographic algorithms
- countermeasures
- euclidean distance
- distance measure
- residual energy
- upper bound
- distance function
- theorem proving
- formal analysis
- authentication protocol
- database systems
- attack scenarios
- key distribution
- dos attacks
- application layer
- distance transform
- ad hoc networks
- privacy preserving