Mozilla hat Funktionen der HACL*-Bibliothek in seine Kryptografiebibliothek NSS übernommen, die formal verifiziert wurden und somit Implementierungsfehler in diesem kritischen Bereich weniger wahrscheinlich machen. Firefox wird ab Version 57 davon profitieren.
Quelle: https://www.pro-linux.de/news/1/25155/firefox-57-erhält-verifizierte-kryptografiefunktionen.html