Security/CryptoEngineering/HACL*: Difference between revisions

fix broken links
No edit summary
(fix broken links)
 
(8 intermediate revisions by the same user not shown)
Line 5: Line 5:
=== HACL* in NSS Releases ===
=== HACL* in NSS Releases ===
* [https://developer.mozilla.org/en-US/docs/Mozilla/Projects/NSS/NSS_3.33_release_notes NSS 3.33] is the first release containing verified cryptographic primitives from HACL*. The 64-bit Curve25519 implementation.
* [https://developer.mozilla.org/en-US/docs/Mozilla/Projects/NSS/NSS_3.33_release_notes NSS 3.33] is the first release containing verified cryptographic primitives from HACL*. The 64-bit Curve25519 implementation.
* NSS 3.35 will contain the ChaCha20 HACL* implementation.
* NSS 3.35 contains the ChaCha20 (not vectorised) and Poly1305 (64-bit) HACL* implementation.
* NSS 3.36 contains the vectorised ChaCha20 HACL* implementation for SSSE3 and ARM NEON.
* NSS 3.37 contains the Poly1305 (32-bit) HACL* implementation


=== Tracked Bugs ===
=== Tracked Bugs ===
Line 16: Line 18:
     }
     }
</bugzilla>
</bugzilla>
=== Blog Posts ===
* [https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ Verified cryptography for Firefox 57]
* [https://www.franziskuskiefer.de/p/the-hacl-approach/ The HACL* Approach]
* [https://www.franziskuskiefer.de/p/shipping-some-hacl/ Shipping HACL* in NSS]
71

edits