Provable and Practical Security - Qiong Huang; Yu, Yu (Springer International Publishing, 2021)