Soundness of Formal Encryption in the Presence of Key-Cycles.

Pedro Ado, Gergei Bana, Jonathan Herzog, Andre Scedrov

Browse the full ESORICS paper archive.