Provable Security - Baek, Joonsang (Springer International Publishing, 2020)