This book constitutes the refereed proceedings of the 10th International Conference on Provable Security, ProvSec 2016, held in Nanjing, China, in November 2016.
The 17 full papers and 6 short papers presented were carefully reviewed and selected from 79 submissions. The papers are grouped in topical sections on attribute/role-based cryptography, data in cloud, searchable encryption, key management, encryption, leakage analysis, homomorphic encryption.
Liqun Chen
authentication batch proving cloud cryptography digital signature security protocols access control anonymity and untraceability block and stream ciphers cloud security cryptanalysis and other attacks data privacy formal security models hash functions key management message authentication codes