71
edits
Security/CryptoEngineering/HACL*: Difference between revisions
Jump to navigation
Jump to search
no edit summary
Franziskus (talk | contribs) No edit summary |
Franziskus (talk | contribs) No edit summary |
||
| Line 22: | Line 22: | ||
* [https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ Verified cryptography for Firefox 57] | * [https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ Verified cryptography for Firefox 57] | ||
* [https://www.franziskuskiefer.de/post/hacl-star/ The HACL* Approach] | * [https://www.franziskuskiefer.de/post/hacl-star/ The HACL* Approach] | ||
* [https://franziskuskiefer.de/post/hacl-nss-integration/ Shipping HACL* in NSS] | |||