Confirmed users
333
edits
Security/Automation/Winter Of Security 2016: Difference between revisions
Security/Automation/Winter Of Security 2016 (view source)
Revision as of 13:26, 31 May 2016
, 31 May 2016→TLS Interop
m (→TLS Interop) |
|||
| Line 87: | Line 87: | ||
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. | 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 === | === NSS TLS Interop === | ||
Proposed by: ttaubert | 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]. | This project should ensure [https://nss-crypto.org/ NSS]' TLS implementation interoperates with that of other crypto libraries like [https://openssl.org/ OpenSSL]. It should also automate interoperability testing to integrate with our CI. | ||
=== New Idea Template === | === New Idea Template === | ||