Provable security 8th international conference, ProvSec 2014, Hong Kong, China, October 9 - 10, 2014 ; proceedings (Springer, 2014)