Verified cryptography for Firefox 57
https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ [blog.mozilla.org]
2017-09-14 00:09
This is a very exciting development and Mozilla has partnered with INRIA and Project Everest (Microsoft Research, CMU, INRIA) to bring components from their formally verified HACL* cryptographic library into NSS, the security engine which powers Firefox.
source: L