Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations
▶Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations — a 2022 IEEE S&P 2022 Sessions security conference talk on network (20:10 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube