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

On the Unnecessary Complexity of Names in X.509 and Their Impact on Implementations. - Yuteng Sun; Joyanta Debnath; Wenzheng Hong; Omar Chowdhury; Sze Yiu Chau (Proc. ACM Softw. Eng., 2025)