OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries

Pratap Singh, Carnegie Mellon University; Joshua Gancher, Northeastern University; Bryan Parno, Carnegie Mellon University