Provable Security

This book constitutes the refereed proceedings of the 12^th International Conference on Provable Security, ProvSec 2018, held in Jeju, South Korea, in October 2018.  The 21 full and 4 short papers presented were carefully reviewed and selected from 48 submissions. The papers are grouped in topical sections on foundation. Public key encryption, digital signature, symmetric key cryptography, and appl...