71
edits
Security/CryptoEngineering/HACL*: Difference between revisions
Jump to navigation
Jump to search
Security/CryptoEngineering/HACL* (view source)
Revision as of 14:21, 12 October 2022
, 12 October 2022fix broken links
Franziskus (talk | contribs) No edit summary |
Franziskus (talk | contribs) (fix broken links) |
||
| Line 21: | Line 21: | ||
=== Blog Posts === | === Blog Posts === | ||
* [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/ | * [https://www.franziskuskiefer.de/p/the-hacl-approach/ The HACL* Approach] | ||
* [https://franziskuskiefer.de/ | * [https://www.franziskuskiefer.de/p/shipping-some-hacl/ Shipping HACL* in NSS] | ||