People

• Adrien Koutsos (Inria Paris)
  Projects: EasyCrypt, Jasmin
  

• Alley Stoughton (Boston University)
  Projects: EasyCrypt
  

  Alley is a contributor to and user of EasyCrypt. Her current projects include mechanizing proofs of Universally Composable (UC) security in EasyCrypt and formalizing algorithmic bounds using EasyCrypt.

• Andreas Hülsing (Eindhoven University of Technology)
  Projects: EasyCrypt
  

• Basavesh Ammanaghatta Shivakumar (Max Planck Institute for Security and Privacy)
  Projects: Jasmin
  

• Benjamin Grégoire (Inria Sophia-Antipolis Méditerranée)
  Projects: EasyCrypt, Jasmin
  

• Chitchanok Chuengsatiansup (The University of Melbourne, Australia)
  Projects: Jasmin
  

• Christian Doczkal (Max Planck Institute for Security and Privacy)
  Projects: EasyCrypt
  

• Fabio Campos (RheinMain University of Applied Sciences & Radboud University)
  Projects: Jasmin
  

• François Dupressoir (University of Bristol)
  Projects: EasyCrypt
  

  François is a core member of the EasyCrypt team. His work focuses on developing libraries of ready-to-use proof blocks and constructions that ease the development of machine-checked cryptographic proofs of all scales and intricacies, from primitives to protocols.

• Gilles Barthe (Max Planck Institute for Security and Privacy & IMDEA Software Institute)
  Projects: EasyCrypt, Jasmin
  

• Jean-Christophe Léchenet (Inria Sophia-Antipolis Méditerranée)
  Projects: Jasmin
  

• José Bacelar Almeida (Universidade do Minho & HASLab/INESC TEC)
  Projects: Jasmin, Libjade
  

• Kai-Chun Ning (Max Planck Institute for Security and Privacy)
  Projects: Jasmin
  

• Manuel Barbosa (Universidade do Porto & HASLab/INESC TEC)
  Projects: EasyCrypt, Jasmin, Libjade
  

• Matthias Meijers (Eindhoven University of Technology (TU/e))
  Projects: EasyCrypt
  

• Miguel Quaresma (Max Planck Institute for Security and Privacy)
  Projects: EasyCrypt, Jasmin, Libjade
  

• Peter Schwabe (Max Planck Institute for Security and Privacy & Radboud University)
  Projects: Libjade
  

• Pierre Boutry (Inria Sophia-Antipolis Méditerranée)
  Projects: EasyCrypt
  

• Pierre-Yves Strub (Meta)
  Projects: EasyCrypt, Jasmin
  

• Santiago Arranz Olmos (Max Planck Institute for Security and Privacy)
  Projects: Jasmin
  

• Swarn Priya (Inria Sophia-Antipolis Méditerranée)
  Projects: Jasmin
  

• Tiago Oliveira (Max Planck Institute for Security and Privacy)
  Projects: Libjade
  

• Vincent Hwang (Max Planck Institute for Security and Privacy)
  Projects: Libjade
  

• Vincent Laporte (Inria Nancy - Grand-Est)
  Projects: Jasmin
  

• Yuval Yarom (University of Adelaide)
  Projects: Jasmin