Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations | IEEE Conference Publication | IEEE Xplore