-%%% * Security notions and attacks: semantic security and find-then-
-%%% guess indistinguishability; left-or-right and real-or-random
-%%% indistinguishability; chosen plaintext and chosen ciphertext
-%%% (lunchtime and adaptive) attacks; non-malleability; plaintext
-%%% awareness; funny abbreviations (e.g., IND-CPA, NM-CCA2).
-