Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Steinfeld, Ron (Editor, http://id.loc.gov/vocabulary/relators/edt), Yuen, Tsz Hon (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Security and Cryptology ; 11821
• Subjects: Data encryption (Computer science).; Computers.; Software engineering.; Cryptology.; Computing Milieux.; Information Systems and Communication Service.; Software Engineering/Programming and Operating Systems.
• Physical Description: XI, 382 p. 131 illus., 9 illus. in color. online resource.
• ISBN: 9783030319199
• DOI: 10.1007/978-3-030-31919-9

This book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in Cairns, QLD, Australia, in October 2019. The 18 full and 6 short papers presented were carefully reviewed and selected from 51 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives, including a special theme on "Practical Security.".