Provable Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540887324, 9783540887331

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Server-Aided Verification Signatures: Definitions and New Constructions

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_10 ◽

2008 ◽

pp. 141-155 ◽

Cited By ~ 15

Author(s):

Wei Wu ◽

Yi Mu ◽

Willy Susilo ◽

Xinyi Huang

On Proofs of Security for DAA Schemes

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_11 ◽

2008 ◽

pp. 156-175 ◽

Cited By ~ 14

Author(s):

Liqun Chen ◽

Paul Morrissey ◽

Nigel P. Smart

A CCA Secure Hybrid Damgård’s ElGamal Encryption

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_5 ◽

2008 ◽

pp. 68-82 ◽

Cited By ~ 6

Author(s):

Yvo Desmedt ◽

Duong Hieu Phan

Keyword(s):

Elgamal Encryption

Universally Composable Security Analysis of TLS

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_22 ◽

2008 ◽

pp. 313-327 ◽

Cited By ~ 27

Author(s):

Sebastian Gajek ◽

Mark Manulis ◽

Olivier Pereira ◽

Ahmad-Reza Sadeghi ◽

Jörg Schwenk

Keyword(s):

Security Analysis ◽

Universally Composable Security

A Universally Composable Framework for the Analysis of Browser-Based Security Protocols

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_20 ◽

2008 ◽

pp. 283-297 ◽

Cited By ~ 1

Author(s):

Sebastian Gajek

Keyword(s):

Security Protocols

Relationship of Three Cryptographic Channels in the UC Framework

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_19 ◽

2008 ◽

pp. 268-282 ◽

Cited By ~ 4

Author(s):

Waka Nagao ◽

Yoshifumi Manabe ◽

Tatsuaki Okamoto

Keyword(s):

Relationship Of

Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_13 ◽

2008 ◽

pp. 185-199

Author(s):

Zhengqin Luo

Keyword(s):

Symbolic Analysis ◽

Probabilistic Protocols

On the Equivalence of Generic Group Models

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_14 ◽

2008 ◽

pp. 200-209 ◽

Cited By ~ 6

Author(s):

Tibor Jager ◽

Jörg Schwenk

Keyword(s):

Generic Group

Round Optimal Universally Composable Oblivious Transfer Protocols

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_23 ◽

2008 ◽

pp. 328-334 ◽

Cited By ~ 3

Author(s):

Huafei Zhu

Keyword(s):

Oblivious Transfer

Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88733-1_21 ◽

2008 ◽

pp. 298-312 ◽

Cited By ~ 4

Author(s):

Peeter Laud ◽

Long Ngo

Keyword(s):

Homomorphic Encryption

Provable Security - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Server-Aided Verification Signatures: Definitions and New Constructions

On Proofs of Security for DAA Schemes

A CCA Secure Hybrid Damgård’s ElGamal Encryption

Universally Composable Security Analysis of TLS

A Universally Composable Framework for the Analysis of Browser-Based Security Protocols

Relationship of Three Cryptographic Channels in the UC Framework

Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups

On the Equivalence of Generic Group Models

Round Optimal Universally Composable Oblivious Transfer Protocols

Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library

Provable Security - Lecture Notes in Computer Science
Latest Publications