See this document in CiteSeerX!

Flaws in Applying Proof Methodologies to Signature Schemes (2002)  (Make Corrections)  (24 citations)
Jacques Stern, David Pointcheval, John Malone-Lee, Nigel P. Smart



  Home/Search   Context   Related

 
View or download:
di.ens.fr/~stern/data/St101.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  di.ens.fr/~stern/publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Methods from provable security, developed over the last twenty years, have been recently extensively used to support emerging standards. However, the fact that proofs also need time to be validated through public discussion was somehow overlooked. This became clear when Shoup found that there was a gap in the widely believed security proof of OAEP against adaptive chosen-ciphertext attacks. We give more examples, showing that provable security is more subtle than it at first appears. Our... (Update)

Similar documents based on text:   More   All
0.5:   RSA-OAEP is Secure under the RSA Assumption - Fujisaki, Okamoto.. (2001)   (Correct)
0.5:   How to repair ESIGN - Granboulan (2002)   (Correct)
0.5:   Security Proofs for the RSA-PSS Signature Scheme and Its Variants - Jonsson (2000)   (Correct)

Related documents from co-citation:   More   All
13:   The exact security of digital signatures---how to sign with RSA and Rabin - Bellare, Rogaway - 1996
11:   Random Oracles are Practical: a Paradigm for Designing Efficient Protocols - Bellare, Rogaway - 1993
11:   Security Arguments for Digital Signatures and Blind Signatures - Pointcheval, Stern - 1998

BibTeX entry:   (Update)

J. Stern, D. Pointcheval, J. Malone-Lee and N.P. Smart. Flaws in Applying Proof Methodologies to Signature Schemes. To appear in Crypto'02, 2002. http://citeseer.ist.psu.edu/stern02flaws.html   More

@misc{ stern02flaws,
  author = "J. Stern and D. Pointcheval and J. Malone-Lee and N. Smart",
  title = "Flaws in Applying Proof Methodologies to Signature Schemes",
  note = "To appear in Crypto'02",
  year = "2002",
  url = "citeseer.ist.psu.edu/stern02flaws.html" }
Citations (may not include all citations):
1529   A Method for Obtaining Digital Signatures and Public Key Cry.. - Rivest, Shamir et al. - 1978
659   Random Oracles Are Practical: a Paradigm for Designing Ecien.. - Bellare, Rogaway - 1993
601   A Public Key Cryptosystem and a Signature Scheme Based on Di.. (context) - ElGamal - 1985
531   The Knowledge Complexity of Interactive Proof Systems (context) - Goldwasser, Micali et al. - 1985
501   A Digital Signature Scheme Secure Against Adaptative Chosen-.. - Goldwasser, Micali et al. - 1988
260   Relations among Notions of Security for Public-Key Encryptio.. (context) - Bellare, Desai et al. - 1998
177   Public-Key Cryptosystems Provably Secure against Chosen Ciph.. - Naor, Yung - 1990
167   The Random Oracles Methodology (context) - Canetti, Goldreich et al. - 1998
131   Non-Interactive Zero-Knowledge Proof of Knowledge and Chosen.. (context) - Racko, Simon - 1992
124   Lower Bounds for Discrete Logarithms and Related Problems - Shoup - 1997
118   Optimal Asymmetric Encryption { How to Encrypt with RSA (context) - Bellare, Rogaway - 1995
72   OAEP Reconsidered - Shoup - 2001
63   Monte Carlo Methods for Index Computation (context) - Pollard - 1978
60   Federal Information Processing Standards Publication (context) - Hash, SHS - 1995
60   Federal Information Processing Standards Publication (context) - Signature, DSS - 2000
54   Ecient Signature Generation by Smart Cards (context) - Schnorr - 1991
36   Complexity of a Determinate Algorithm for the Discrete Logar.. (context) - Nechaev - 1994
35   How to Prove Yourself: Practical Solutions of Identi cation .. (context) - Fiat, Shamir - 1987
31   Security of Signed ElGamal Encryption - Schnorr, Jakobsson - 2000
25   Public Key Cryptography for the Financial Services Industry:.. (context) - Standards - 1999
13   Design Validations for Discrete Logarithm Based Signature Sc.. - Brickell, Pointcheval et al. - 2000
7   An Attack on a Signature Scheme proposed by Okamoto and Shir.. (context) - Brickell, DeLaurentis - 1986
6   OAEP is Secure under the RSA Assumption (context) - Fujisaki, Okamoto et al. - 2001
4   Twin Signatures: an Alternative to the Hash-and-Sign Paradig.. - Naccache, Pointcheval et al. - 2001
3   The Exact Security of ECDSA - Brown - 2001
3   TSH-ESIGN: Ecient Digital Signature Scheme Using Trisection .. (context) - Okamoto, Fujisaki et al. - 1998
2   See http://www (context) - Granboulan, repair et al. - 2002



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.di.ens.fr/~stern/publications.html):   More
A New Public-Key Cryptosystem - Naccache, Stern (1997)   (Correct)
Cryptanalysis of the NTRU Signature Scheme (NSS) from.. - Gentry, Jonsson..   (Correct)
A New Public-Key Cryptosystem Based on Higher Residues - Naccache, Stern (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC