Ron Steinfeld, Tsz Hon Yuen, editors, Provable Security - 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings. Volume 11821 of Lecture Notes in Computer Science, Springer, 2019. [doi]
Conference: provsec2019