Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust

published

Abstract

No abstract available.

Cite this paper

@article{cai2025,
  title = {Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust},
  author = {Yi Cai and Pratap Singh and Zhengyao Lin and Jay Bosamiya and Joshua Gancher and Milijana Surbatovich and Bryan Parno},
  journal = {USENIX Security Symposium},
  year = {2025},
  month = {Jan},
}