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

by P Adao, G Bana, J Herzog, A Scedrov
Venue:In in Proceedings of the 10th European Symposium on Research in Computer Security - ESORICS’05. LNCS