Provable security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018 : proceedings - Baek, Joonsang; Susilo, Willy; Kim, Jongkil (Springer, 2018)