3 ms·
This post describes how Mozilla is incorporating F* verified cryptographic code into Firefox: https://blog.mozilla.org/security/2017/09/13/verified-cryptography
by infruset 9y ago
This post describes how Mozilla is incorporating F* verified cryptographic code into Firefox: https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ https://blog.mozilla.org/security/2017/09/13/verified-crypto...