Search Sciweavers | Sciweavers

915 search results - page 13 / 183

» Proof labeling schemes

Voted

ESORICS
2005
Springer

161views Security Privacy» more ESORICS 2005»

Machine-Checked Security Proofs of Cryptographic Signature Schemes

15 years 3 months ago

Download www-sop.inria.fr

Abstract. Formal methods have been extensively applied to the certiﬁcation of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....

Sabrina Tarento

claim paper

Read More »

click to vote

EUROCRYPT
2004
Springer

102views Cryptology» more EUROCRYPT 2004»

Security Proofs for Identity-Based Identification and Signature Schemes

15 years 2 months ago

Download eprint.iacr.org

Mihir Bellare, Chanathip Namprempre, Gregory Neven

claim paper

Read More »

Voted

CRYPTO
1989
Springer

87views Cryptology» more CRYPTO 1989»

Efficient Identification Schemes Using Two Prover Interactive Proofs

15 years 1 months ago

Download groups.csail.mit.edu

Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi ...

claim paper

Read More »

click to vote

EUROCRYPT
2009
Springer

98views Cryptology» more EUROCRYPT 2009»

Simulation without the Artificial Abort: Simplified Proof and Improved Concrete Security for Waters' IBE Scheme

15 years 1 months ago

Download eprint.iacr.org

Mihir Bellare, Thomas Ristenpart

claim paper

Read More »

click to vote

CCS
2008
ACM

112views Security Privacy» more CCS 2008»

Towards automated proofs for asymmetric encryption schemes in the random oracle model

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers