Hugging Peers

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

☆ Save
Pratap Singh,Joshua Gancher,Bryan Parno
USENIX Security Symposium
published

Abstract

No abstract available.

Cite this paper

@article{singh2025,
  title = {OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries},
  author = {Pratap Singh and Joshua Gancher and Bryan Parno},
  journal = {USENIX Security Symposium},
  year = {2025},
  month = {Jan},
}