Modern cryptography with proof techniques and implementations - Hwang, Seong Oun. (CRC Press, Taylor & Francis Group,)