ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation. - Joyanta Debnath; Christa Jenkins; Yuteng Sun; Sze Yiu Chau; Omar Chowdhury (SP, 2024)