Rapport
(Rapport De Recherche)
Année : 2021
Bhargavan Karthikeyan : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03474303
Soumis le : vendredi 10 décembre 2021-10:37:12
Dernière modification le : jeudi 1 février 2024-10:05:54
Dates et versions
Identifiants
- HAL Id : hal-03474303 , version 1
Citer
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
Consultations
0
Téléchargements