miniblog.

← Back to all posts

Nov 12, 2017 at 22:38

Firefox is shipping formally verified crypto primitives!

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 ...