71
edits
Franziskus (talk | contribs) No edit summary |
Franziskus (talk | contribs) No edit summary |
||
Line 19: | Line 19: | ||
=== 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/post/hacl-star/ The HACL* Approach] |
edits