One of the exciting new features is the beginnings of a formally verified cryptography stack. https://blog.mozilla.org/security/2017/09/13/verified-cryptograph

One of the exciting new features is the beginnings of a formally verified cryptography stack. https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ https://blog.mozilla.org/security/2017/09/13/verified-crypto...