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 <>
Submitted on : Friday, February 15, 2019 - 5:24:35 PM
Last modification on : Thursday, November 5, 2020 - 10:40:03 PM
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

96

Files downloads

338