Provable Security - Steinfeld; Yuen, Tsz Hon (Springer International Publishing, 2019)