Modern Cryptography with Proof Techniques and Implementations - Seong Oun Hwang; Wai Kong Lee; Intae Kim (Taylor and Francis, 2021)