Provable Security - Joonsang Baek, Willy Susilo, Jongkil Kim (Springer, 2018)