A Formal Security Analysis of the p=uiv p Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email.

Itzel Vzquez Sandoval, Gabriele Lenzini

Browse the full ESORICS paper archive.