Fix typos. Replace proof that PRPs are PRFs. Other fixes.

[doc/ips] / enc-intro.tex

diff --git a/enc-intro.tex b/enc-intro.tex
index 6199d4f..47a9ced 100644 (file)
--- a/enc-intro.tex
+++ b/enc-intro.tex
@@ -2,12 +2,6 @@
 
 \xcalways\subsection{Security notions and attacks}\x
 
-%%%         * 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).
-
 \begin{slide}
   \head{Security notions for encryption}
 
@@ -16,7 +10,8 @@
 
 \begin{slide}
   \topic{adversarial goals}
-  \head{Encryption: adversarial goals 1}
+  \resetseq
+  \head{Encryption: adversarial goals \seq}
 
   \begin{description}
   \item [Indistinguishability (find-then-guess)] The adversary chooses two
@@ -30,7 +25,7 @@
 \end{slide}
 
 \begin{slide}
-  \head{Encryption: adversarial goals 2}
+  \head{Encryption: adversarial goals \seq}
 
   \begin{description}
   \item [Indistinguishability (left-or-right)] The adversary is given an
@@ -48,7 +43,7 @@
 \end{slide}
 
 \begin{slide}
-  \head{Encryption: adversarial goals 3}
+  \head{Encryption: adversarial goals \seq}
 
   \begin{description}
   \item [Non-malleability] An adversary cannot transform a ciphertext such