Verified Contributive Channel Bindings for Compound Authentication

Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-01114248
Contributor : Bruno Blanchet <>
Submitted on : Monday, February 9, 2015 - 8:19:58 AM
Last modification on : Friday, May 25, 2018 - 12:02:06 PM

Identifiers

  • HAL Id : hal-01114248, version 1

Collections

Citation

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti. Verified Contributive Channel Bindings for Compound Authentication. Network and Distributed System Security Symposium (NDSS'15), Feb 2015, San Diego, United States. ⟨hal-01114248⟩

Share

Metrics

Record views

230