Provable Security

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Generalized ElGamal Public Key Cryptosystem Based on a New Diffie-Hellman Problem
3. Altmetric Badge
   Chapter 2 Tweakable Pseudorandom Permutation from Generalized Feistel Structure
4. Altmetric Badge
   Chapter 3 Timed-Release Encryption Revisited
5. Altmetric Badge
   Chapter 4 Efficient and Provably Secure Certificateless Multi-receiver Signcryption
6. Altmetric Badge
   Chapter 5 A CCA Secure Hybrid Damgård’s ElGamal Encryption
7. Altmetric Badge
   Chapter 6 Construction of Yet Another Forward Secure Signature Scheme Using Bilinear Maps
8. Altmetric Badge
   Chapter 7 Optimal Online/Offline Signature: How to Sign a Message without Online Computation
9. Altmetric Badge
   Chapter 8 Round-Optimal Blind Signatures from Waters Signatures
10. Altmetric Badge
    Chapter 9 Secure Proxy Multi-signature Scheme in the Standard Model
11. Altmetric Badge
    Chapter 10 Server-Aided Verification Signatures: Definitions and New Constructions
12. Altmetric Badge
    Chapter 11 On Proofs of Security for DAA Schemes
13. Altmetric Badge
    Chapter 12 Cryptanalysis of Vo-Kim Forward Secure Signature in ICISC 2005
14. Altmetric Badge
    Chapter 13 Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups
15. Altmetric Badge
    Chapter 14 On the Equivalence of Generic Group Models
16. Altmetric Badge
    Chapter 15 The Analysis of an Efficient and Provably Secure ID-Based Threshold Signcryption Scheme and Its Secure Version
17. Altmetric Badge
    Chapter 16 Leaky Random Oracle (Extended Abstract)
18. Altmetric Badge
    Chapter 17 How to Use Merkle-Damgård — On the Security Relations between Signature Schemes and Their Inner Hash Functions
19. Altmetric Badge
    Chapter 18 Can We Construct Unbounded Time-Stamping Schemes from Collision-Free Hash Functions?
20. Altmetric Badge
    Chapter 19 Relationship of Three Cryptographic Channels in the UC Framework
21. Altmetric Badge
    Chapter 20 A Universally Composable Framework for the Analysis of Browser-Based Security Protocols
22. Altmetric Badge
    Chapter 21 Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library
23. Altmetric Badge
    Chapter 22 Universally Composable Security Analysis of TLS
24. Altmetric Badge
    Chapter 23 Round Optimal Universally Composable Oblivious Transfer Protocols
25. Altmetric Badge
    Chapter 24 A Tamper-Evident Voting Machine Resistant to Covert Channels
26. Altmetric Badge
    Chapter 25 Self-healing Key Distribution with Revocation and Resistance to the Collusion Attack in Wireless Sensor Networks