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

Authors: 

Zhengyao Lin, Michael McLoughlin, and Pratap Singh, Carnegie Mellon University; Rory Brennan-Jones, University of Rochester; Paul Hitchcox, Carnegie Mellon University; Joshua Gancher, Northeastern University; Bryan Parno, Carnegie Mellon University