Crypto 2017 - How Microsoft Wants to Fix the Internet
http://bristolcrypto.blogspot.com/2017/09/crypto-2017-how-microsoft-wants-to-fix.html [bristolcrypto.blogspot.com]
2017-09-06 03:38
In the second invited talk at Crypto, Cédric Fournet from Microsoft Research presented the recent efforts of Project Everest (Everest VERified End-to-end Secure Transport), which seems an attempt to fix implementing TLS once and for all. Appropriately for such a gigantic task, more than a dozen researchers on three continents (and the UK) work on making it verifiable and efficient at the same time.