Provable Security [recurso electrónico] : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings / edited by Swee-Huay Heng, Kaoru Kurosawa.

Identification -- Improved Zero-Knowledge Identification with Lattices -- Identification Schemes of Proofs of Ability Secure against Concurrent Man-in-the-Middle Attacks -- Auto Proofs -- A Calculus for Game-Based Security Proofs -- Automating Computational Proofs for Public-Key-Based Key Exchange -- Signature I -- A Framework for Constructing Convertible Undeniable Signatures -- Efficient Confirmer Signatures from the “Signature of a Commitment” Paradigm -- Hash Function -- Collision Resistant Double-Length Hashing -- Interpreting Hash Function Security Proofs -- Protocol -- Formal and Precise Analysis of Soundness of Several Shuffling Schemes -- Distinguishing Distributions Using Chernoff Information -- Signature II -- A Suite of Non-pairing ID-Based Threshold Ring Signature Schemes with Different Levels of Anonymity (Extended Abstract) -- An Anonymous Designated Verifier Signature Scheme with Revocation: How to Protect a Company’s Reputation -- Invited Talk -- Cryptographic Protocols from Lattices -- Encryption -- A Timed-Release Proxy Re-encryption Scheme and Its Application to Fairly-Opened Multicast Communication -- Efficient Broadcast Encryption with Personalized Messages -- Toward an Easy-to-Understand Structure for Achieving Chosen Ciphertext Security from the Decisional Diffie-Hellman Assumption -- Signcryption -- Identity Based Public Verifiable Signcryption Scheme -- Fully Secure Threshold Unsigncryption.

ProvSec2010 was held in Malacca,Malaysia,October 13–15,2010. This wasthe 4th ProvableSecurity conferencein the series aimed at stimulating the exchange ofideasintheemergingareasofprovablesecurity. Thisconferencewasorganized by the Faculty of Information Science and Technology, Multimedia University, Malaysia, and co-organized by the Malaysian Society for Cryptology Research (MSCR). The conference received a total of 47 submissions. Each submission was - viewed by at least three members of the Program Committee, and submissions co-authored by members of the Program Committee were reviewed by at least ?ve members. The review process was a challenging task, 17 papers were - cepted for presentation at the conference (with 1 conditionally accepted) after almost two months of review process, and some good submissions had to be rejected. This proceedings contains the revised versions of the accepted papers, which were not subject to editorial review, and the authors bear full respon- bility for their contents. The conference also featured an invited lecture by Eike Kiltz entitled “Cryptographic Protocols from Lattices. ” Thereweremanypartieswhocontributedinonewayoranothertothesuccess of ProvSec 2010. We would like to thank all of the authors from many di?erent countriesforsubmitting theirwork. WearedeeplygratefultotheProgramC- mittee for their hard work and e?ort in ensuring that each submission received a fair and thorough review. We also gratefully acknowledgethe e?ort and exp- tise of the external reviewers. Lastly, we would like to record our appreciationto the General Chair, Bok-Min Goi, and the local Organizing Committee, for their dedicationandcommitmentin organizingthe conference,andto ShaiHalevi,for granting us the permission to use the user-friendly Web-Submission-and-Review system.

19