Provable Security 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings by Man Ho Au | Menrva Books | MenrvaBooks