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

by Pedro Adão , Gergei Bana , Jonathan Herzog , Andre Scedrov
Venue:In Proc. 10th European Symposium on Research in Computer Security (ESORICS’05), volume 3679 of LNCS
Citations:36 - 4 self