Soundness of formal encryption in the presence of key-cycles (2005)

by ABHS05 Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov
Venue:In ESORICS’05, volume 3679 of LNCS