This project should formally verify implementations (or parts of) of e.g. ciphers, the TLS protocol, libmpi, libec in the [https://nss-crypto.org/ NSS] library.
=== NSS TLS Interop ===
Proposed by: ttaubert
This project should ensure [https://nss-crypto.org/ NSS]' TLS implementation interoperates with that of other crypto libraries like [https://openssl.org/ OpenSSL]. I It should also automate interoperability testing to integrate with our CI.
=== New Idea Template ===