One of the most interesting advances is formally verified cryptography [0] using F*. Unfortunately that's only for NSS (Firefox TLS engine).

[0]: https://blog.mozilla.org/security/2017/09/13/verified-crypto...