feat: Blipps comments

Author: koraa

2024-09-20-eacn/00200_about_cryptography.tex

@@ -7,7 +7,7 @@ \section{About cryptology}
 
 \begin{frame}{Proofs of security are fundamental: Reduction proofs}
   \small
-  Proof by reduction to a well-known mathematical problem or existing cryptographic construction.
+  Proof by reduction to a well-known mathematical problem \emph{assumed to be hard} or existing cryptographic construction \emph{assumed to be secure}.
   \vfill
   \textbf{If} an attack against my cryptosystem exists,
   \\ \textbf{then} this other cryptosystem can be attacked or this math problem can be solved.
@@ -31,7 +31,7 @@ \section{About cryptology}
   $$F : K \times D \to C$$
 
   \begin{description}
-    \item[$K$] Key material; secret information held by all parties
+    \item[$K$] Key material; secret information held by the trusted parties
     \item[$D$] Protected information
     \item[$C$] Leaked information; any information known to the attacker after protocol execution
   \end{description}
@@ -40,15 +40,15 @@ \section{About cryptology}
   every value of the protected information is equally plausible.
 
 
-  $$\forall c : C, d_1 : D, d_2 : D; |\{ k \in K | F(k, d_1) = c \}| = |\{ k \in K | F(k, d_1) = c \}|$$
+  $$\forall c : C, d_1 : D, d_2 : D; |\{ k \in K | F(k, d_1) = c \}| = |\{ k \in K | F(k, d_2) = c \}|$$
 \end{frame}
 
 \begin{frame}{Proofs are fundamental: Implementation security}
   \begin{columns}[t,fullwidth]
 
     \begin{column}{.40\textwidth}
       \begin{block}{Functional Correctness}
-        Using formal methods from computer science that a cryptographic implementation is equivalent to its specification.
+        Using formal methods from computer science that a cryptographic implementation is functionally equivalent to its specification.
       \end{block}
 
       \vfill
@@ -88,9 +88,11 @@ \section{About cryptology}
 \end{frame}
 
 
-\begin{frame}{Open-Source \& Open-Science are mandatory}
+\begin{frame}{Implementations and specifications must be open}
   % TODO(marei): Can we render this as full-size background image
   \includegraphics{graphics-repo/misc/kryptoparty.jpg}
+
+  % TODO(karolin): Copy/paste kerkoffs principle
 \end{frame}
 
 \begin{frame}{Open-Source \& Open-Science are mandatory}

2024-09-20-eacn/00300_security_properties.tex

@@ -5,7 +5,7 @@
     \begin{column}{.4\linewidth}
       \small
 
-      Secure channel protocols like TLS, OpenSSH, or the Noise Protocol Framework \citeNoise are used everywhere on the internet. They are
+      Secure channel protocols like TLS, OpenSSH, or the Noise Protocol Framework \citeNoise  are used everywhere on the internet. They are
 
       \begin{itemize}
         \item Cheap