ProvSec 2009

Sponsored by

Proceedings published by

Program of ProvSec 2009

Wednesday, November 11

8:00-9:00 Conference Registration (Xian WeiJian Hall)
9:00 Opening Remarks
9:15-10:30 Session 1: ENCRYPTION 1 (Chair: Aaram Yun)

9:15	Efficient Non-Interactive Universally Composable String-Commitment Schemes *Ryo Nishimaki, Eiichiro Fujisaki and Keisuke Tanaka*

9:40	Spatial Encryption under Simpler Assumption *Muxin Zhou and Zhenfu Cao*

10:05	Chosen-Ciphertext Secure RSA-type Cryptosystems *Benoît Chevallier-Mames and Marc Joye*

10:30-10:55 Coffee Break
10:55-12:10 Invited Talk 1 (Chair: Fangguo Zhang)

A Brief History of Security Models for Confidentiality
Alexander W. Dent

12:15-14:00 Lunch Break at Nan Cao Ping Restaurant
14:00-15:40 Session 2: DIGITAL SIGNATURES 1 (Chair: Tatsuaki Okamoto)

14:00	Identity-Based Verifiably Encrypted Signatures Without Random Oracles *Lei Zhang, Qianhong Wu, Bo Qin*

14:25	How to Prove Security of A Signature with A Tighter Security Reduction *Fuchun Guo, Yi Mu and Willy Susilo*

14:50	Twin Signature Schemes, Revisited *Sven Schäge*

15:15	Anonymous Signatures Revisited *Vishal Saraswat and Aaram Yun*

15:40-16:00 Coffee Break
16:00-17:15 Session 3: REDUCTIONS AND PRIVACY (Chair: Keisuke Tanaka)

16:00	Oracle Separation in the Non-Uniform Model *Ahto Buldas, Sven Laur and Margus Niitsoo*

16:25	GUC-Secure Set-Intersection Computation *Yuan Tian and Hao Zhang*

16:50	Self-Enforcing Private Inference Control *Yanjiang Yang, Yingjiu Li, Jian Weng, Jianying Zhou, Feng Bao*

18:00-20:00 Dinner at ZiJingYuan Restaurant

Thursday, November 12

9:00-10:15 Session 4: ENCRYPTION 2(Chair: Baodian Wei)

9:00	Anonymous Conditional Proxy Re-encryption Without Random Oracle *Liming Fang, Willy Susilo and Jiandong Wang*

9:25	Breaking and Fixing of an Identity Based Multi-Signcryption Scheme *S. Sharmila Deva Selvi, S. Sree Vivek and C. Pandu Rangan*

9:50	Password Authenticated Key Exchange Based on RSA in the Three-Party Settings *Dongna E, Qingfeng Cheng and Chuangui Ma*

10:15-10:45 Coffee Break
10:45-12:00 Invited Talk 2 (Chair: Josef Pieprzyk )

Symbolic Methods for Provable Security
Bogdan Warinschi

12:10-14:00 Lunch Break at NanCaPing Restaurant
14:00-15:40 Session 5: DIGITAL SIGNATURES 2 (Chair: Haibo Tian)

14:00	Is the Notion of Divisible On-line/Off-line Signatures Stronger than On-line/Off-line Signatures? *Man Ho Au, Willy Susilo and Yi Mu*

14:25	On the Insecurity of the Fiat-Shamir Signatures with Iterative Hash Functions *Eiichiro Fujisaki, Ryo Nishimaki and Keisuke Tanaka*

14:50	Zero-Knowledge Protocols for NTRU: Application to Identification and Proof of Plaintext Knowledge *Keita Xagawa and Keisuke Tanaka*

15:15-15:45 Coffee Break
15:45-17:00 Session 6: CRYPTOGRAPHIC PROTOCOLS (Chair: Ahto Buldas)

15:45	An eCK-secure Authenticated Key Exchange ProtocolWithout Random Oracles *Daisuke Moriyama and Tatsuaki Okamoto*

16:10	Comparing SessionStateReveal and EphemeralKeyReveal for Diffie-Hellman protocols *Berkant Ustaoglu*

16:35	Server-Controlled Identity-Based Authenticated Key Exchange *Hua Guo, Yi Mu, Xiyong Zhang and Zhoujun Li*

18:00-20:00 Supper & Pearl River Night Cruise

Friday, November 13

Half-Day Tour of Guangzhou