Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings Baek Joonsang Heftet / 2018 / Engelsk
