People

Current members

• Adrien Koutsos (Inria, centre de 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, centre d’Université Côte d’Azur)
  Projects: EasyCrypt, Jasmin
  

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

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

• Denis Firsov (Taltech & Guardtime)
  Projects: EasyCrypt, Jasmin
  

• Fabio Campos (Hochschule RheinMain)
  Projects: Jasmin, Libjade
  

• 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, centre d’Université Côte d’Azur)
  Projects: Jasmin
  

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

• Julian Wälde (Hochschule RheinMain)
  Projects: Jasmin, Libjade
  

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

• Lionel Blatter (Max Planck Institute for Security and Privacy)
  Projects: EasyCrypt, Jasmin
  

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

• Marc Stoettinger (Hochschule RheinMain)
  Projects: 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-Yves Strub (PQShield)
  Projects: EasyCrypt, Jasmin
  

• Rui Fernandes (Max Planck Institute for Security and Privacy)
  Projects: Libjade
  

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

• Swarn Priya (Inria, centre d’Université Côte d’Azur)
  Projects: Jasmin
  

• Tiago Oliveira (SandboxAQ)
  Projects: Libjade
  

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

• Vincent Laporte (Inria, centre de l’Université de Lorraine)
  Projects: Jasmin
  

• Yuval Yarom (Ruhr University Bochum)
  Projects: Jasmin
  

Former members

• Pierre Boutry (Inria, centre d’Université Côte d’Azur)
  Projects: EasyCrypt