71
edits
Security/CryptoEngineering/HACL*: Difference between revisions
Security/CryptoEngineering/HACL* (view source)
Revision as of 14:08, 22 September 2017
, 22 September 2017no edit summary
Franziskus (talk | contribs) (Created page with "[https://github.com/mitls/hacl-star/ HACL*] is a formally verified cryptographic library in [https://github.com/FStarLang/FStar F*], developed by the [http://prosecco.inria.fr...") |
Franziskus (talk | contribs) No edit summary |
||
| Line 4: | Line 4: | ||
=== HACL* in NSS Releases === | === HACL* in NSS Releases === | ||
* 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. | ||
=== Tracked Bugs === | === Tracked Bugs === | ||