Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

Front Matter....Pages -
Generalized ElGamal Public Key Cryptosystem Based on a New Diffie-Hellman Problem....Pages 1-21
Tweakable Pseudorandom Permutation from Generalized Feistel Structure....Pages 22-37
Timed-Release Encryption Revisited....Pages 38-51
Efficient and Provably Secure Certificateless Multi-receiver Signcryption....Pages 52-67
A CCA Secure Hybrid Damgård’s ElGamal Encryption....Pages 68-82
Construction of Yet Another Forward Secure Signature Scheme Using Bilinear Maps....Pages 83-97
Optimal Online/Offline Signature: How to Sign a Message without Online Computation....Pages 98-111
Round-Optimal Blind Signatures from Waters Signatures....Pages 112-126
Secure Proxy Multi-signature Scheme in the Standard Model....Pages 127-140
Server-Aided Verification Signatures: Definitions and New Constructions....Pages 141-155
On Proofs of Security for DAA Schemes....Pages 156-175
Cryptanalysis of Vo-Kim Forward Secure Signature in ICISC 2005....Pages 176-184
Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups....Pages 185-199
On the Equivalence of Generic Group Models....Pages 200-209
The Analysis of an Efficient and Provably Secure ID-Based Threshold Signcryption Scheme and Its Secure Version....Pages 210-225
Leaky Random Oracle (Extended Abstract)....Pages 226-240
How to Use Merkle-Damgård — On the Security Relations between Signature Schemes and Their Inner Hash Functions....Pages 241-253
Can We Construct Unbounded Time-Stamping Schemes from Collision-Free Hash Functions?....Pages 254-267
Relationship of Three Cryptographic Channels in the UC Framework....Pages 268-282
A Universally Composable Framework for the Analysis of Browser-Based Security Protocols....Pages 283-297
Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library....Pages 298-312
Universally Composable Security Analysis of TLS....Pages 313-327
Round Optimal Universally Composable Oblivious Transfer Protocols....Pages 328-334
A Tamper-Evident Voting Machine Resistant to Covert Channels....Pages 335-344
Self-healing Key Distribution with Revocation and Resistance to the Collusion Attack in Wireless Sensor Networks....Pages 345-359
Back Matter....Pages -