Formosa Crypto
NewsPeopleProjectsPublicationsFormosa Supporters

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

Formosa Crypto

  • Formosa Crypto
  • team@formosa-crypto.org
  • formosa-crypto
  • CryptoFormosa

The Formosa project federates multiple projects in machine-checked cryptography and high-assurance cryptographic engineering under a single banner, to better support developers and users.