Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict

Name: Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict
Duration: 15 min
Description: Talk from 34th USENIX Security Symposium (USENIX Security '25).

Zhengyao Lin

34th USENIX Security Symposium (USENIX Security '25) · Day 2 · Crypto 3: Formal Methods and Private Computation