miniblog.
← Back to all posts
Wilfred Hughes
Nov 12, 2017 at 22:38
Firefox is shipping formally verified crypto primitives!
https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/
Verified cryptography for Firefox 57 – Mozilla Security Blog
Traditionally, software is produced in this way: write some code, maybe do some code review, run unit-tests, and then hope it is correct. Hard experience shows that it is very ...