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

Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan

Browse the full SP paper archive.