Crypto 2017 - How Microsoft Wants to Fix the Internet (Spoiler: Without Blockchains)
Unknown (noreply@blogger.com)
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. As with every self-respecting talk in the area, it started with the disaster porn that is the hist