On Re-engineering the X.509 PKI with Executable Specification for Better Implementation Guarantees.

Joyanta Debnath, Sze Yiu Chau, Omar Chowdhury

Browse the full CCS paper archive.