pepr-pq-tls

PEPR Quantique
Post-quantum padlock for web browser

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)

Retour en haut