Reports
(Research Report)
Year : 2021
Bhargavan Karthikeyan : Connect in order to contact the contributor
https://inria.hal.science/hal-03474303
Submitted on : Friday, December 10, 2021-10:37:12 AM
Last modification on : Thursday, February 1, 2024-10:05:54 AM
Dates and versions
Identifiers
- HAL Id : hal-03474303 , version 1
Cite
Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan. Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations. [Research Report] Inria. 2021. ⟨hal-03474303⟩
Collections
92
View
0
Download