Laboratoire d'informatique de l'École polytechnique

Talk by Olivier Blazy: «Implicit Proofs of Membership »

Speaker: Olivier Blazy
Location: Online
Date: Thu, 20 Jan 2022, 13:00-14:00

The next LIX Seminar is scheduled this Thursday at 13:00.

We will have the pleasure to listen to Olivier Blazy (Grace team) talking about Implicit Proofs of Membership.

The seminar will be fully online at https://inria.webex.com/inria/j.php?MTID=m0270b19d056bea68e6414df36ce4956b (full information for connection below).

Abstract: Cryptography is more and more about manipulating secret / encrypted data and managing to do operations associated with their plaintext. One of the major advance in cryptography came from Zero-Knowledge Proofs of Knowledge, that allowed to prove the veracity of a statement without leaking any more information. This technique lead to several major improvements in protocols. However, it leaks the fact that you can indeed prove something.And this could become quite critical, for example : without knowing what’s in your patient file, learning that every week an oncologist accesses it might be an information you want to keep secret. To this end, in this talk, we are going to have a look at Implicit Proofs of Knowledge, and see how they could supersede ZKPK in most modern application for a gain both in privacy and efficiency.

We are going to focus on Smooth Hash Proof Systems, a tool presented by Cramer and Shoup to build compact efficient CCA2 encryption in the standard model. We are going to see, that it could be used to achieve a completely different goal, that is more in line with modern protocols. We will start by a panorama of languages that can be managed by such a primitive and then show how this is enough to instantiate efficiently various protocols. We will provide examples of such constructions first with ‘vanilla’ cryptography (elliptic curve, paillier) but also show that post-quantum constructions can be achieved with a non-prohibitive efficiency in both lattice and code based cryptography, widening the range of primitive available under those hypotheses.

Recording of the past seminars: https://enseignement.medias.polytechnique.fr/channels/#seminaires-du-lix.
Seminars shared calendar: https://framagenda.org/remote.php/dav/public-calendars/D6zer6tagbaSHR4A?export.

Rejoindre la réunion à partir du lien de la réunion https://inria.webex.com/inria/j.php?MTID=m0270b19d056bea68e6414df36ce4956b

Rejoindre la réunion par le numéro de la réunion Numéro de la réunion (code d’accès) : 2740 812 8913 Mot de passe de la réunion : DdyNKvMB828

Appuyez pour rejoindre la réunion à partir d’un périphérique mobile (uniquement pour les participants) +33-1-7091-8646,,27408128913## France Toll

Rejoindre par téléphone +33-1-7091-8646 France Toll Numéros d’appel internationaux

Rejoindre à partir d’un système ou d’une application vidéo Composer le numéro 27408128913@inria.webex.com Vous pouvez également composer le 62.109.219.4 et saisir votre numéro de votre réunion.