Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Formal Analysis of Secure Device Pairing Protocols

Trung Nguyen Jean Leneutre 1, 2 
1 ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
Complete list of metadata

https://hal.telecom-paris.fr/hal-02287084
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 4:34:14 PM
Last modification on : Tuesday, October 19, 2021 - 11:14:16 AM

Identifiers

  • HAL Id : hal-02287084, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

20