Provable Security - Ron Steinfeld, Tsz Hon Yuen (Springer, 2019)