Provable Security: 11th International Conference, Provsec 2017, Xi'an, China, October 23-25, 2017, Proceedings (Paperback, 2017)