Security/CryptoEngineering/HACL*: Difference between revisions

Jump to navigation Jump to search
no edit summary
No edit summary
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]
71

edits

Navigation menu