Skip to Main content Skip to Navigation
Conference papers

Smooth Projective Hashing for Conditionally Extractable Commitments

Michel Abdalla 1, 2 Céline Chevalier 1, 2 David Pointcheval 1, 2
2 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : The notion of smooth projective hash functions was proposed by Cramer and Shoup and can be seen as special type of zero-knowledge proof system for a language. Though originally used as a means to build efficient chosen-ciphertext secure public-key encryption schemes, some variations of the Cramer-Shoup smooth projective hash functions also found applications in several other contexts, such as password-based authenticated key exchange and oblivious transfer. In this paper, we first address the problem of building smooth projective hash functions for more complex languages. More precisely, we show how to build such functions for languages that can be described in terms of disjunctions and conjunctions of simpler languages for which smooth projective hash functions are known to exist. Next, we illustrate how the use of smooth projective hash functions with more complex languages can be efficiently associated to extractable commitment schemes and avoid the need for zero-knowledge proofs. Finally, we explain how to apply these results to provide more efficient solutions to two well-known cryptographic problems: a public-key certification which guarantees the knowledge of the private key by the user without random oracles or zero-knowledge proofs and adaptive security for password-based authenticated key exchange protocols in the universal composability framework with erasures.
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00419145
Contributor : David Pointcheval <>
Submitted on : Tuesday, September 22, 2009 - 4:21:33 PM
Last modification on : Tuesday, September 22, 2020 - 3:52:56 AM
Long-term archiving on: : Tuesday, October 16, 2012 - 11:11:07 AM

File

2009_crypto.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00419145, version 1

Collections

Citation

Michel Abdalla, Céline Chevalier, David Pointcheval. Smooth Projective Hashing for Conditionally Extractable Commitments. Advances in Cryptology -- Proceedings of CRYPTO '09, 2009, Santa-Barbara, Californie, United States. pp.671--689. ⟨inria-00419145⟩

Share

Metrics

Record views

476

Files downloads

628