Joyanta Debnath, Christa Jenkins, Yuteng Sun, Sze Yiu Chau, Omar Chowdhury. ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation. In IEEE Symposium on Security and Privacy, SP 2024, San Francisco, CA, USA, May 19-23, 2024. pages 1462-1480, IEEE, 2024. [doi]
Abstract is missing.