ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation.

Joyanta Debnath, Christa Jenkins, Yuteng Sun, Sze Yiu Chau, Omar Chowdhury

Browse the full SP paper archive.