OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries
No ratings
Presented at USENIX Security 2025 by
Cryptographic security protocols, such as TLS or WireGuard, form the foundation of a secure Internet; hence, a long line of research has shown how to formally verify their high-level designs. Unfortunately, these formal guarantees have not yet reached real-world