Confirmed users
333
edits
Security/Automation/Winter Of Security 2016: Difference between revisions
Jump to navigation
Jump to search
Security/Automation/Winter Of Security 2016 (view source)
Revision as of 13:25, 31 May 2016
, 31 May 2016Adding two new project ideas
Franziskus (talk | contribs) (new NSS ideas) |
(Adding two new project ideas) |
||
| Line 81: | Line 81: | ||
[https://en.wikipedia.org/wiki/SHA-3 SHA-3] is a new cryptographic hash functions. | [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]. | 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 === | === New Idea Template === | ||