Provable security 12th international conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018 : proceedings - Baek, Joonsang (Springer, 2018)