Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Separation Results on the "One-More" Computational Problems

Abstract : In 2001, Bellare, Namprempre, Pointcheval and Semanko introduced the notion of "one-more" computational problems. Since their introduction, these problems have found numerous applications in cryptography. For instance, Bellare et al. showed how they lead to a proof of security for Chaum's RSA-based blind signature scheme in the random oracle model. In this paper, we provide separation results for the computational hierarchy of a large class of algebraic "one-more" computational problems (e.g. the one-more discrete logarithm problem, the one-more RSA problem and the one-more static Computational Diffie-Hellman problem in a bilinear setting). We also give some cryptographic implications of these results and, in particular, we prove that it is very unlikely, that one will ever be able to prove the unforgeability of Chaum's RSA-based blind signature scheme under the sole RSA assumption.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Damien Vergnaud Connect in order to contact the contributor
Submitted on : Sunday, February 1, 2009 - 6:36:46 PM
Last modification on : Thursday, March 17, 2022 - 10:08:25 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 7:53:42 PM


Files produced by the author(s)




Emmanuel Bresson, Jean Monnerat, Damien Vergnaud. Separation Results on the "One-More" Computational Problems. Topics in cryptology - CT-RSA 2008, 2008, San Francisco, United States. pp.71-87, ⟨10.1007/978-3-540-79263-5_5⟩. ⟨inria-00357754⟩



Record views


Files downloads