3 ms·Project Everest – Verified Secure Implementations of the HTTPS Ecosystem (2016)2 points by lelf 8y ago