Sep 30: Added NSL example of the execution in Section 4.3, Added Correctness proof of NSL (Section 12., later sections renumbered)
Oct 7: Added NSL attack (Section 12, later sections renumbered)
Oct 12: Finished detailed soundness proof for IND-CCA2 encryption (fresh keys are uncorrupted). Updated references
Oct 14: Added more details to KDM soundness proofs. Changed key corruption to key compromise
Oct 23: Fixed typos: Added missing \eta's 
Jan 4: Fixed typos: Corrected corruption to compromise in the sNS section. Corrected \phi_3 \equiv in the Examples section.
Removed the word “unforgeability” for encryption and replaced with “ciphertext integrity”