Performance Improvements via Formally-Verified Cryptography in Firefox –