1996•Unpublished venueOpen access

On Provable Security for Digital Signature Algorithms

David Pointcheval, Serge Vaudenay

Open full text 35 citations

Abstract

In this paper we consider provable security for ElGamal-like digital signature schemes. We point out that the good security criterion on the underlying hash function is pseudorandomness. We extend Pointcheval-Stern's results about the use of the random oracle model to prove the security of two variants of the US Digital Signature Algorithm against adaptive attacks which issue an existential forgery. We prove that a very practical use of the random oracle model is possible whith tamper-resistant modules.

About this research paper

What this paper is about

In this paper we consider provable security for ElGamal-like digital signature schemes. We point out that the good security criterion on the underlying hash function is pseudorandomness. We extend Pointcheval-Stern's results about the use of the random oracle model to prove the security of two variants of the US Digital Signature Algorithm against adaptive attacks which issue an existential forgery. We prove that a very practical use of the random oracle model is possible whith tamper-resistant modules.

Why it matters

OpenAlex reports 35 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

In this paper we consider provable security for ElGamal-like digital signature schemes. We point out that the good security criterion on the underlying hash function is pseudorandomness. We extend Pointcheval-Stern's results about the use of the random oracle model to prove the security of two variants of the US Digital Signature Algorithm against adaptive attacks which issue an existential forgery. We prove that a very practical use of the random oracle model is possible whith tamper-resistant modules.

Key concepts: Random oracle, ElGamal encryption, Provable security, Computer science, Schnorr signature, ElGamal signature scheme, Merkle signature scheme, Hash function

Related papers

Back to paper searchBrowse research topicsOriginal source
On Provable Security for Digital Signature Algorithms — Research Paper | ScholarLens