@article{lin2025,
title = {Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict},
author = {Zhengyao Lin and Michael McLoughlin and Pratap Singh and Rory Brennan-Jones and Paul Hitchcox and Joshua Gancher and Bryan Parno},
journal = {USENIX Security Symposium},
year = {2025},
month = {Jan},
}
Zhengyao Lin et al. (2025). Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict. USENIX Security Symposium.
Zhengyao Lin, et al.. "Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict." USENIX Security Symposium, 2025.
Zhengyao Lin, et al.. "Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict." USENIX Security Symposium (2025).
Zhengyao Lin et al., 2025. Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict. USENIX Security Symposium.
TY - JOUR
TI - Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict
AU - Zhengyao Lin
AU - Michael McLoughlin
AU - Pratap Singh
AU - Rory Brennan-Jones
AU - Paul Hitchcox
AU - Joshua Gancher
AU - Bryan Parno
PY - 2025
JO - USENIX Security Symposium
ER -