Search Sciweavers | Sciweavers

915 search results - page 13 / 183

» Proof labeling schemes

click to vote

ESORICS
2005
Springer

161views Security Privacy» more ESORICS 2005»

Machine-Checked Security Proofs of Cryptographic Signature Schemes

14 years 1 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

14 years 1 months ago

Download eprint.iacr.org

Mihir Bellare, Chanathip Namprempre, Gregory Neven

claim paper

Read More »

click to vote

CRYPTO
1989
Springer

87views Cryptology» more CRYPTO 1989»

Efficient Identification Schemes Using Two Prover Interactive Proofs

13 years 12 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

13 years 11 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

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers