Skip to Main content Skip to Navigation
Conference papers

Symbolic verification of distance bounding protocols

Document type :
Conference papers
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/hal-02018280
Contributor : Alexandre Debant Connect in order to contact the contributor
Submitted on : Friday, February 15, 2019 - 5:24:35 PM
Last modification on : Wednesday, November 3, 2021 - 6:04:02 AM
Long-term archiving on: : Friday, May 17, 2019 - 9:21:13 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02018280, version 1

Citation

Alexandre Debant, Stéphanie Delaune. Symbolic verification of distance bounding protocols. Principles of Security and Trust - 8th International Conference, Apr 2019, Prague, Czech Republic. ⟨hal-02018280⟩

Share

Metrics

Record views

70

Files downloads

91