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
Programming securely with cryptography
Jonathan Protzenko
  • Function : Author
  • PersonId : 1081465
Microsoft Research
Abhishek Bichhawat
  • Function : Author
  • PersonId : 1094319
Indian Institute of Technology [Gandhinagar]
Karthikeyan Bhargavan
Programming securely with cryptography

Domains

Computer Science [cs] Computation and Language [cs.CL] Computer Science [cs] Cryptography and Security [cs.CR]

Bhargavan Karthikeyan  : Connect in order to contact the contributor

https://hal.inria.fr/hal-03474303

Submitted on : Friday, December 10, 2021-10:37:12 AM

Last modification on : Friday, November 18, 2022-9:27:37 AM

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

INRIA IRISA INRIA2 LARA UR1-MATH-STIC UR1-UFR-ISTIC UR1-MATH-NUM
81 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More