Equation variable choices

3 files changed, 20 insertions, 19 deletions

diff --git a/presentations/comprehensive/dh.pdf b/presentations/comprehensive/dh.pdf
index 2781d98..578d207 100644
--- a/presentations/comprehensive/dh.pdf
+++ b/presentations/comprehensive/dh.pdf
diff --git a/presentations/comprehensive/dh.svg b/presentations/comprehensive/dh.svg
index 7ad12e6..161ecf5 100644
--- a/presentations/comprehensive/dh.svg
+++ b/presentations/comprehensive/dh.svg
@@ -134,7 +134,7 @@
            y="408.54025"
            x="428.83801"
            id="tspan4185"
-           sodipodi:role="line">D</tspan></text>
+           sodipodi:role="line">C</tspan></text>
       <text
          sodipodi:linespacing="125%"
          id="text4199"
@@ -145,7 +145,7 @@
            y="409.40958"
            x="452.52808"
            id="tspan4201"
-           sodipodi:role="line">H</tspan></text>
+           sodipodi:role="line">T</tspan></text>
     </g>
   </g>
 </svg>
diff --git a/presentations/comprehensive/main.tex b/presentations/comprehensive/main.tex
index 98bc867..5cdd934 100644
--- a/presentations/comprehensive/main.tex
+++ b/presentations/comprehensive/main.tex
@@ -525,9 +525,9 @@ But of course we use modern instantiations.
   \begin{minipage}{6cm}
     \begin{enumerate}
     \item Obtain public key $(e,n)$
-    \item Compute $m := FDH(C)$, $m < n$.
+    \item Compute $f := FDH(C)$, $f < n$.
     \item Pick blinding factor $b \in \mathbb Z_n$
-    \item Transmit $m' := m b^e \mod n$
+    \item Transmit $f' := f b^e \mod n$
     \end{enumerate}
   \end{minipage}
   \begin{minipage}{6cm}
@@ -535,14 +535,14 @@ But of course we use modern instantiations.
    \tikzstyle{def} = [node distance= 2em and 0.5em, inner sep=0em, outer sep=.3em];
     \node (origin) at (0,0) {\includegraphics[width=0.2\textwidth]{dice.pdf}};
     \node (b) [def, draw=none, below = of origin] at (0,-0.2) {$b$};
-    \node (blinded) [def, draw=none, below right=of m]{\includegraphics[width=0.2\textwidth]{blinded.pdf}};
+    \node (blinded) [def, draw=none, below right=of b]{\includegraphics[width=0.2\textwidth]{blinded.pdf}};
     \node (planchet) [def, draw=none, above right=of blinded]{\includegraphics[width=0.15\textwidth]{planchet.pdf}};
     \node (exchange) [node distance=4em and 0.5em, draw, below =of blinded]{Exchange};
     \tikzstyle{C} = [color=black, line width=1pt]
 
-    \draw [<-, C] (m) -- (origin) node [midway, above, sloped] (TextNode) {};
+    \draw [<-, C] (b) -- (origin) node [midway, above, sloped] (TextNode) {};
     \draw [<-, C] (blinded) -- (planchet) node [midway, above, sloped] (TextNode) {};
-    \draw [<-, C] (blinded) -- (m) node [midway, above, sloped] (TextNode) {};
+    \draw [<-, C] (blinded) -- (b) node [midway, above, sloped] (TextNode) {};
     \draw [<-, C] (exchange) -- (blinded) node [midway, above, sloped] (TextNode) {{\small transmit}};
   \end{tikzpicture}
   \end{minipage}
@@ -552,8 +552,8 @@ But of course we use modern instantiations.
 \begin{frame}{Exchange: Blind sign (RSA)}
    \begin{minipage}{6cm}
     \begin{enumerate}
-    \item Receive $m'$.
-    \item Compute $s' := m'^d \mod n$.
+    \item Receive $f'$.
+    \item Compute $s' := f'^d \mod n$.
     \item Send signature $s'$.
     \end{enumerate}
    \end{minipage}
@@ -578,7 +578,8 @@ But of course we use modern instantiations.
   \begin{minipage}{6cm}
    \begin{enumerate}
     \item Receive $s'$.
-    \item Compute $s := s' b^{-1} \mod n$.
+    \item Compute $s := s' b^{-1} \mod n$ % \\
+    % ($(f')^d = (f b^e)^d = f^d b$).
     \end{enumerate}
    \end{minipage}
   \begin{minipage}{6cm}
@@ -761,22 +762,22 @@ But of course we use modern instantiations.
 \begin{frame}{Diffie-Hellman (ECDH)}
   \begin{minipage}{8cm}
    \begin{enumerate}
-    \item Create private keys $d,h \mod o$
-    \item Define $D = dG$
-    \item Define $H = hG$
-    \item Compute $DH := d(hD) = h(dH)$
+    \item Create private keys $c,t \mod o$
+    \item Define $C = cG$
+    \item Define $T = tG$
+    \item Compute DH \\ $cT = c(tG) = t(cG) = tC$
     \end{enumerate}
    \end{minipage}
   \begin{minipage}{6cm}
   \begin{tikzpicture}
    \tikzstyle{def} = [node distance= 2em and 0.5em, inner sep=0em, outer sep=.3em];
-    \node (h) [def, draw=none] at (0,0) {$h$};
-    \node (dh) [def, draw=none, below left=of b]{\includegraphics[width=0.2\textwidth]{dh.pdf}};
-    \node (d) [def, draw=none, above left= of dh]  {$d$};
+    \node (t) [def, draw=none] at (0,0) {$t$};
+    \node (ct) [def, draw=none, below left=of b]{\includegraphics[width=0.2\textwidth]{dh.pdf}};
+    \node (c) [def, draw=none, above left= of ct]  {$c$};
     \tikzstyle{C} = [color=black, line width=1pt]
 
-    \draw [<-, C] (dh) -- (d) node [midway, above, sloped] (TextNode) {};
-    \draw [<-, C] (dh) -- (h) node [midway, above, sloped] (TextNode) {};
+    \draw [<-, C] (ct) -- (c) node [midway, above, sloped] (TextNode) {};
+    \draw [<-, C] (ct) -- (t) node [midway, above, sloped] (TextNode) {};
   \end{tikzpicture}
   \end{minipage}
 \end{frame}