Conference Papers
Year : 2015
Bruno Blanchet : Connect in order to contact the contributor
https://inria.hal.science/hal-01114248
Submitted on : Monday, February 9, 2015-8:19:58 AM
Last modification on : Friday, January 21, 2022-3:15:33 AM
Dates and versions
Identifiers
- HAL Id : hal-01114248 , version 1
Cite
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⟩
96
View
0
Download