2024
ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation.
[DOI]
Joyanta Debnath
,
Christa Jenkins
,
Yuteng Sun
,
Sze Yiu Chau
,
Omar Chowdhury
Proceedings of the IEEE Symposium on Security and Privacy, 2024