[https://en.wikipedia.org/wiki/SHA-3 SHA-3] is a new cryptographic hash functions.
This project should provide basic SHA-3 support for [https://nss-crypto.org/ NSS].
=== Formal Verification ===
Proposed by: ttaubert
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.
=== 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 should also automate interoperability testing to integrate with our CI.
=== New Idea Template ===