Provable and Practical Security - Khoa Nguyen, Wenling Wu, Kwok Yan Lam, Huaxiong Wang (Springer, 2020)