make the tex compile

1 files changed, 4 insertions, 4 deletions

diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex
index a69d099..93ebe6e 100644
--- a/taler-fc19/paper.tex
+++ b/taler-fc19/paper.tex
@@ -780,17 +780,17 @@ We require the following two security properties for $\textsc{BlindSign}$:
 \begin{itemize}

   \item \emph{blindness}: Let $M$ be the set of all possible messages and $\overline{M}$ be the

     set of all possible blinded messages. Then the distribution of

-    \[ \left\{ (m, \simga, \overline{m}, \overline{\simga}) \,\middle| 

+    \[ \left\{ (m, \sigma, \overline{m}, \overline{\sigma}) \,\middle| 

 	   m\, \randsel M, 

 	   \overline{m} \leftarrow \algo{Blind}_{BS}(\mathcal{S}(\V{sk}), m),

-	   \overline{\simga} \leftarrow \algo{Sign}_{BS}(\V{sk}, \overline{m}),

+	   \overline{\sigma} \leftarrow \algo{Sign}_{BS}(\V{sk}, \overline{m}),

 	   \sigma \leftarrow \algo{UnblindSig}_{BS}(r, m, \overline{\sigma})

 	   \right\} \]

     must be computationally

     indistinguishable from

-    \[ \left\{ (m, \simga, x, \simga_x) \,\middle|\, 

+    \[ \left\{ (m, \sigma, x, \sigma_x) \,\middle|\, 

 	   m \randsel M, 

-	   \sigma \eftarrow \algo{UnblindSig}_{BS}(r, m, \algo{Sign}_{BS}(\V{sk}, \algo{Blind}_{BS}(\mathcal{S}(\V{sk}), m)) )

+	   \sigma \leftarrow \algo{UnblindSig}_{BS}(r, m, \algo{Sign}_{BS}(\V{sk}, \algo{Blind}_{BS}(\mathcal{S}(\V{sk}), m)) )

 	   x \randsel \overline{M},

 	   \sigma_x \leftarrow \algo{UnblindSig}_{BS}(r, x, \algo{Sign}_{BS}(\V{sk}, \algo{Blind}_{BS}(\mathcal{S}(\V{sk}), x)) )

 	   \right\}. \]