pepr-pq-tls

PEPR Quantique
Post-quantum padlock for web browser

Menu

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

Wave: a post-quantum siganture scheme based on hard problems in coding theory

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

SQIsign: (for Short Quaternion and Isogeny Signature) from isogeny graphs of supersingular elliptic curves

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

HAETAE: a post-quantum digital signature scheme, whose security is based on the hardness of the module versions of the lattice problems LWE and SIS

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

HAWK: a signature scheme inspired by the Lattice Isomorphism Problem

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)

Raccoon: a signature scheme based on the Fiat-Shamir transform from a Schnorr lattice-based signature

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

SQUIRRELS: follows the hash-and-sign paradigm of Gentry, Peikert and Vaikuntanathan (GPV), instantiated over unstructured co-cyclic integer lattices

This scheme was submitted by: Thomas Espitau (Senior cryptography researcher – PQShield); Guilhem Niot; Chao Sun; Mehdi Tibouchi

 

MPC-in-the-Head Signatures

Biscuit: a new multivariate-based Digital Signature Scheme (DSS) based on the hardness of solving a set of generic structured algebraic equations

This scheme was submitted by: Luk Bettale; Delaram Kahrobaei; Ludovic Perret (Associate professor – CNRS – Sorbonne University); Javier Verbel

MIRA: digital signature protocol based on the MinRank problem and the MPC-in- the-Head paradigm

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)

MQOM (MQ On my Mind): designed by applying the “Multiparty Computation in the Head” (MPC- in-the-Head, or MPCitH) paradigm to the Multivariate Quadratic (MQ) problem

This scheme was submitted by our partners at CryptoExperts: Thibauld Feneuil (Cryptographer) & Matthieu Rivain (Cryptographer)

PERK: scheme based on the hardness of solving the PERmuted Kernel problem

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)

RYDE: a quantum-resistant sig- nature, based on zero-knowledge proofs, and symmetric functions, such as hash functions

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

SDitH (Syndrome Decoding in the Head): based on the hardness of the syndrome decoding problem for random linear codes on a finite field

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

PROV (Provable unbalanced Oil and Vinegar): designed to remain secure against attackers equipped with quantum computers

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)

VOX: a UOV-based hash-and-sign signature scheme from the Multivariate Quadratic (MQ) family

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