GitHub repository: secure-foundations/verdict
Primary language: Rust
Description: Verified X.509 Certificate Validation