Network Security Services (NSS)
Browse cluster: Lean4 Formal Verification & Cryptography →Network Security Services (NSS) is a cryptographic library that implements TLS, DTLS, and S/MIME protocols alongside certificate handling and PKCS#11 support. The project is built with GYP and Ninja as its primary build system, with a legacy Make-based build available, and uses Python 3 for automation scripts and tooling. The codebase is organized in layers from low-level cryptographic primitives in freebl through certificate management and protocol implementations up to high-level public APIs, with command-line tools like certutil and modutil providing direct access to functionality and supporting an extensive test suite that includes unit tests, integration tests, and fuzzing capabilities.