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

Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan. Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations. In 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022. pages 107-124, IEEE, 2022. [doi]

Abstract

Abstract is missing.