3 ms·Performance Improvements via Formally-Verified Cryptography in Firefox2 points by Harvesterify 6y ago