Mozilla Blog company blog
Verified cryptography for Firefox 57
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 ...
- Points
- 155
- HN comments
- 14
- Submissions
- 1
- Cited by
- 7 commenters
Security & PrivacySoftware Engineering2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 13, 2017 | Verified cryptography for Firefox 57 by ttaubert | 155 | 14 |
Cited in comments
Linked from 7 Hacker News comments by 7 different people, from Oct 2017 to Aug 2026.
Most recent:
- nextaccountic · Aug 2, 2026
- PyroLagus · Jul 19, 2019
- yawaramin · Oct 4, 2018
- Promarged · Apr 4, 2018
