Itzel Vázquez Sandoval, Gabriele Lenzini. A Formal Security Analysis of the p=uiv p Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email. In Andrea Saracino, Paolo Mori, editors, Emerging Technologies for Authorization and Authentication - Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings. Volume 11967 of Lecture Notes in Computer Science, pages 171-187, Springer, 2019. [doi]
Abstract is missing.