Project Everest
Building and deploying provably secure communication software
人员
Benjamin Beurdouche
Security Researcher
Mozilla
Karthikeyan Bhargavan
Inria Paris
Antoine Delignat-Lavaud
Principal Researcher
Cédric Fournet
Senior Principal Research Manager
Aymeric Fromherz
PhD Student
Carnegie Mellon University
Sydney Gibson
PhD Student
Carnegie Mellon University
Chris Hawblitzel
Senior Principal Researcher
Cătălin Hrițcu
PhD Student
Max Planck Institute for Security and Privacy (MPI-SP)
Markulf Kohlweiss
Senior Lecturer
University (of Edinburgh
Natalia Kulatova
Developer/Student
Inria Paris
Guido Martínez
PhD Student
CIFASIS-CONICET
Denis Merigoux
PhD Student
Inria Paris
Bryan Parno
Associate Professor
Carnegie Mellon University
Marina Polubelova
PhD Student
Inria Paris
Jonathan Protzenko
Principal Researcher
Tahina Ramananandro
Principal Research Software Development Engineer
Aseem Rastogi
Principal Researcher
Nikhil Swamy
Senior Principal Researcher
Santiago Zanella-Béguelin
Principal Researcher