Performance Improvements via Formally-Verified Cryptography in Firefox
Kevin Jacobs and Benjamin Beurdouche
Cryptographic primitives, while extremely complex and difficult to implement, audit, and validate, are critical for security on the web. To ensure that NSS (Network Security Services, the cryptography library behind … Read more