Formal Analysis of the FIDO 1.x Protocol

Rochet, Florentin; Pereira, Olivier; Wiedling, Cyrille

doi:10.1007/978-3-319-75650-9_5

Formal Analysis of the FIDO 1.x Protocol

Rochet, Florentin

;

Pereira, Olivier

;

Wiedling, Cyrille

(2017) 10th International Symposium on Foundations & Practice of Security — Location: nancy (France) (23.October.2017)

Files

FormalAnalysisoftheFIDO1xProtocol.pdf

Open Access
Adobe PDF
416.12 KB

Download

Details

Authors

Rochet, FlorentinUCLouvain
Author
Pereira, OlivierUCLouvain
Author
Wiedling, CyrilleUCLouvain
Author

Affiliations

UCLouvainSST/ICTM/ELEN - Pôle en ingénierie électrique

Citations

APA
Chicago
FWB

Rochet, F., Pereira, O., & Wiedling, C. (2017). Formal Analysis of the FIDO 1.x Protocol. Lecture Notes in Computer Science, 10723, 68-83. https://doi.org/10.1007/978-3-319-75650-9_5 (Original work published 2017)