Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict. - Zhengyao Lin; Michael McLoughlin; Pratap Singh; Rory Brennan-Jones; Paul Hitchcox; Joshua Gancher; Bryan Parno (USENIX Security Symposium, 2025)