A Characterization of Authenticated-Encryption as Chosen-Ciphertext Security [pdf] | Hacker News Reader