Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Applications of Structure-Preserving Cryptography and Pairing-Based NIZK Proofs

Benoît Libert 1, 2
1 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : This habilitation thesis deals with cryptographic primitives that preserve the algebraic structure of underlying objects (messages, keys, etc) and their applications to the design of non-interactive zero-knowledge proofs and privacy-enhancing cryptographic primitives. In 2008, Groth and Sahai showed how to make these proof systems relatively efficient in abelian groups endowed with a bilinear map. These techniques, however, require to work with lower-level primitives where handled objects all live in a cyclic abelian group. Among other things, we need to sign messages without destroying their algebraic structure (in particular, without hashing them first) so as to be able to efficiently prove properties about hidden signed messages. The first part of this thesis describes a structure-preserving signature scheme which was the first efficient realization under previously studied algorithmic assumptions. These tools are also utilized in the design of a novel revocation mechanism for group signatures, which allow users to anonymously sign messages on behalf of a population they belong to. The second part of this thesis considers structure-preserving signatures endowed with homomorphic properties. We show how to use them in the design of non-malleable cryptographic primitives. Using linearly homomorphic structurepreserving signatures, we notably obtain non-malleable commitments to group elements and non-interactive zero-knowledge proofs, as well as public-key encryption schemes that resist chosen-ciphertext attacks.
Keywords : Cryptography
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [254 references]  Display  Hide  Download

https://hal.inria.fr/tel-02151157
Contributor : Benoit Libert <>
Submitted on : Friday, June 7, 2019 - 5:22:53 PM
Last modification on : Friday, October 23, 2020 - 4:38:24 PM

File

HDR_BL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02151157, version 1

Collections

Citation

Benoît Libert. Applications of Structure-Preserving Cryptography and Pairing-Based NIZK Proofs. Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Lyon, 2015. ⟨tel-02151157⟩

Share

Metrics

Record views

342

Files downloads

458