Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version)

Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan