Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2021

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations

(1) , (2) , (3) , (1)
1
2
3
Son Ho
  • Function : Author
  • PersonId : 1119900
Jonathan Protzenko
  • Function : Author
  • PersonId : 1081465
Karthikeyan Bhargavan
Not file

Dates and versions

hal-03474303 , version 1 (10-12-2021)

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⟩
81 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More