Joon Sang Baek & Feng Bao 
Provable Security [PDF ebook] 
Second International Conference, ProvSec 2008, Shanghai, China, October 30 – November 1, 2008. Proceedings

This book constitutes the refereed proceedings of the Second International Conference on Provable Security, Prov Sec 2008, held in Shanghai, China, October 30 – November 1, 2008. The 25 revised full papers presented were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, and Applications.