@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},
}
Yi Cai et al. (2025). Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust. USENIX Security Symposium.
Yi Cai, et al.. "Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust." USENIX Security Symposium, 2025.
Yi Cai, et al.. "Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust." USENIX Security Symposium (2025).
Yi Cai et al., 2025. Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust. USENIX Security Symposium.
TY - JOUR
TI - Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust
AU - Yi Cai
AU - Pratap Singh
AU - Zhengyao Lin
AU - Jay Bosamiya
AU - Joshua Gancher
AU - Milijana Surbatovich
AU - Bryan Parno
PY - 2025
JO - USENIX Security Symposium
ER -