Software Tools
- F* : Verification system for effectful programs.
- CryptoVerif : Cryptographic protocol verifier in the computational model.
- ProVerif : Cryptographic protocol verifier in the symbolic model.
- Squirrel : Interactive prover for security protocols in the computational model.
- SAPIC+ : protocol verification platform.
- DEEPSEC : A Uniform Platform for Security Analysis of Deep Learning Model.
- AKISS : verification tool for checking trace equivalence of security protocols.
- EasyCrypt : Computer-Aided Cryptographic Proofs
- Jasmin : high-assurance and high-speed cryptography.
Schemes submitted to the NIST
Code based signature
This scheme was submitted by: Gustavo Banegas; Kévin Carrier; André Chailloux (CR – Inria Paris COSMIQ); Alain Couvreur (DR – ENS Paris Saclay – Inria Saclay GRACE) ; Thomas Debris-Alazard (CR – Inrias Saclay GRACE); Philippe Gaborit (PR – Limoges University – Xlim Cryptis); Pierre Karpman; Johanna Loyer; Ruben Niederhagen; Nicolas Sendrier (DR – Inria Paris COSMIQ); Benjamin Smith (CR – Inria Saclay GRACE); Jean Pierre Tillich (DR – Inria Paris COSMIQ)
Isogeny signatures
This scheme was submitted by: Jorge Chavez-Saab; Maria Corte-Real Santos; Luca De Feo; Jonathan Komada Eriksen; Basil Hess; David Kohel; Antonin Leroux (DGA-MI, Rennes University); Patrick Longa; Michael Meyer; Lorenz Panny; Sikhar Patranabis; Christophe Petit; Francisco Rodríguez Henríquez; Sina Schaeffler; Benjamin Wesolowski (CR – ENS Lyon/CNRS – Inria Bordeaux UMPA). Benjamin recently won an ERC starting grant 2023, go check out the article made by the CNRS
Lattice-based signatures
This scheme was submitted by: Jung Hee Cheon; Hyeongmin Choe; Julien Devevey; Tim Güneysu; Dongyeon Hong; Markus Krausz; Georg Land; Junbum Shin; Damien Stehlé (ENS Lyon – CNRS – Lip AriC); MinJune Yi
This scheme was submitted by: Joppe W. Bos; Olivier Bronchain; Léo Ducas; Serge Fehr; Yu-Hsuan Huang; Thomas Pornin; Eamonn W. Postlethwaite; Thomas Prest (Lead cryptography researcher – PQShield); Ludo N. Pulles; Wessel van Woerden (Post-Doctoral researcher – INP – IMB)
This scheme was submitted by: Rafael del Pino; Thomas Espitau (Senior cryptography researcher – PQShield); Shuichi Katsumata; Mary Maller (Cryptography research consultant – PQShield ); Fabrice Mouhartem; Thomas Prest (Lead cryptography researcher – PQShield); Mélissa Rossi (Engineer – ANSSI); Markku-Juhani Saarinen
This scheme was submitted by: Thomas Espitau (Senior cryptography researcher – PQShield); Guilhem Niot; Chao Sun; Mehdi Tibouchi
MPC-in-the-Head Signatures
This scheme was submitted by: Luk Bettale; Delaram Kahrobaei; Ludovic Perret (Associate professor – CNRS – Sorbonne University); Javier Verbel
This scheme was submitted by: Nicolas Aragon; Magali Bardet (MC – Rouen University – LITIS C&A); Loïc Bidoux; Jesús-Javier Chi-Domínguez; Victor Dyseryn; Thibauld Feneuil (Cryptographer – CryptoExperts); Philippe Gaborit (PR – Limoges University – Xlim Cryptis); Romaric Neveu; Matthieu Rivain (Cryptographer – CryptoExperts); Jean Pierre Tillich (DR – Inria Paris COSMIQ)
This scheme was submitted by our partners at CryptoExperts: Thibauld Feneuil (Cryptographer) & Matthieu Rivain (Cryptographer)
This scheme was submitted by: Najwa Aaraj; Slim Bettaieb; Loïc Bidoux; Alessandro Budroni; Victor Dyseryn; Andre Esser; Philippe Gaborit (PR – Limoges University – Xlim Cryptis); Mukul Kulkarni; Victor Mateu; Marco Palumbi; Lucas Perin; Jean Pierre Tillich (DR – Inria Paris COSMIQ)
This scheme was submitted by: Nicolas Aragon; Magali Bardet (MC – Rouen University – LITIS C&A); Loïc Bidoux; Jesús-Javier Chi-Domínguez; Victor Dyseryn; Thibauld Feneuil (Cryptographer – CryptoExperts); Philippe Gaborit (PR – Limoges University – Xlim Cryptis); Antoine Joux; Matthieu Rivain (Cryptographer – CryptoExperts); Jean Pierre Tillich (DR – Inria Paris COSMIQ); Adrien Vinçotte
This scheme was submitted by: Carlos Aguilar Melchor; Thibauld Feneuil (Cryptographer – CryptoExperts); Nicolas Gama; Shay Gueron; James Howe; David Joseph; Antoine Joux; Edoardo Persichetti; Tovohery H. Randrianarisoa; Matthieu Rivain (Cryptographer – CryptoExperts); Dongze Yue
Multivariate signature
This scheme was submitted by: Louis Goubin (PR – Versailles Saint-Quentin University – LMV CRYPTO); Benoît Cogliati; Jean-Charles Faugère; Pierre-Alain Fouque (PR – Rennes University – IRISA Capsule); Robin Larrieu; Gilles Macario-Rat; Brice Minaud; Jacques Patarin (PR – Versailles Saint-Quentin – LMV CRYPTO)
This scheme was submitted by: Louis Goubin (PR – Versailles Saint-Quentin University – LMV CRYPTO); Benoît Cogliati; Jean-Charles Faugère; Pierre-Alain Fouque (PR – Rennes University – IRISA Capsule); Robin Larrieu; Gilles Macario-Rat; Brice Minaud; Jacques Patarin (PR – Versailles Saint-Quentin – LMV CRYPTO)