Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

CCS
2008
ACM

favoriteEmaildiscussreport

112views Security Privacy» more CCS 2008»

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

13 years 6 months ago

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

Download www.rcis.aist.go.jp

Judicaël Courant, Marion Daubignard, Cristian

Real-time Traffic

CCS 2008 | Security Privacy |

claim paper

Related Content

» Automated Proofs for Asymmetric Encryption

» Formal Proofs for the Security of Signcryption

» Formal Indistinguishability Extended to the Random Oracle Model

» Security Proof of SakaiKasaharas IdentityBased Encryption Scheme

» Secure IdentityBased Encryption in the Quantum Random Oracle Model

» Security of Encryption Schemes in Weakened Random Oracle Models

» Comparing two pairingbased aggregate signature schemes

» Towards a Concrete Security Proof of Courtois Finiasz and Sendrier Signature Scheme

» Anonymous Hierarchical IdentityBased Encryption Without Random Oracles

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	CCS
Authors	Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech

Comments (0)