Formal Analysis of Distance Bounding with Secure Hardware.
Handan KilinçSerge VaudenayPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- formal analysis
- payment protocol
- ban logic
- real time
- low cost
- hardware and software
- distance measure
- formal methods
- upper bound
- distance function
- agent model
- euclidean distance
- database
- machine learning
- trusted computing
- artificial intelligence
- hardware implementation
- wireless sensor networks
- lightweight
- computer systems
- knowledge representation