Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2021

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

Son Ho
  • Function : Author
  • PersonId : 1119900
Jonathan Protzenko
  • Function : Author
  • PersonId : 1081465
Karthikeyan Bhargavan
No 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⟩
92 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More