[PPT] - Soundness of Formal Encryption in the Presence of Key Cycles Gergei PowerPoint Presentation