Provable and Practical Security

This book constitutes the refereed proceedings of the 16th International Conference on Provable Security, ProvSec 2022, held in Nanjing, China, in November 11–12,2022. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives.