Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings - Steinfeld, Ron; Steinfeld, Ron; Yuen, Tsz Hon; Yuen, Tsz Hon (Springer International Publishing : Imprint: Springer, 2019)