Conference Papers
Year : 2014
TelecomParis HAL : Connect in order to contact the contributor
https://hal.telecom-paris.fr/hal-02287084
Submitted on : Friday, September 13, 2019-4:34:14 PM
Last modification on : Sunday, April 2, 2023-10:56:04 AM
Dates and versions
Identifiers
- HAL Id : hal-02287084 , version 1
Cite
Trung Nguyen, Jean Leneutre. Formal Analysis of Secure Device Pairing Protocols. IEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States. ⟨hal-02287084⟩
Collections
27
View
0
Download