Provable and Practical Security - Nguyen (Springer International Publishing, 2020)