Cedric Fournet is a Sr Principal Research Manager at MSR Cambridge and interested in security, privacy, cryptography, programming, and distributed systems. His main project is Everest, aiming at building, verifying, and deploying secure components such as miTLS for the HTTPS ecosystem.