Provable and Practical Security - Chunpeng Ge, Fuchun Guo (Springer, 2022)