Soundness of Formal Encryption in the Presence of Key-Cycles

Computer Security – ESORICS 2005 - Lecture Notes in Computer Science ◽

10.1007/11555827_22 ◽

2005 ◽

pp. 374-396 ◽

Cited By ~ 41

Author(s):

Pedro Adão ◽

Gergei Bana ◽

Jonathan Herzog ◽

Andre Scedrov

Download Full-text