Provable security 13th international conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019 : proceedings - Steinfeld, Ron; Yuen, Tsz Hon (Springer, 2019)