Provable Security

- Invited Talks

- A Brief History of Security Models for Confidentiality

- Symbolic Methods for Provable Security

- Encryption

- Efficient Non-interactive Universally Composable String-Commitment Schemes

- Spatial Encryption under Simpler Assumption

- Chosen-Ciphertext Secure RSA-Type Cryptosystems

- Anonymous Conditional Proxy Re-encryption without Random Oracle

- Breaking and Fixing of an Identity Based Multi-Signcryption Scheme

- Digital Signatures

- Identity-Based Verifiably Encrypted Signatures without Random Oracles

- How to Prove Security of a Signature with a Tighter Security Reduction

- Twin Signature Schemes, Revisited

- On the Insecurity of the Fiat-Shamir Signatures with Iterative Hash Functions

- Is the Notion of Divisible On-Line/Off-Line Signatures Stronger than On-Line/Off-Line Signatures?

- Anonymous Signatures Revisited

- Cryptographic Protocols

- An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles

- Password Authenticated Key Exchange Based on RSA in the Three-Party Settings

- Comparing SessionStateReveal and EphemeralKeyReveal for Diffie-Hellman Protocols

- Zero-Knowledge Protocols for NTRU: Application to Identification and Proof of Plaintext Knowledge

- Server-Controlled Identity-Based Authenticated Key Exchange

- Reductions and Privacy

- Oracle Separation in the Non-uniform Model

- GUC-Secure Set-Intersection Computation

- Self-enforcing Private Inference Control