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