From 285ffc707f914f0f9641d8b2035b48d6bd380a6a Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Sun, 16 Sep 2018 21:44:45 +0200 Subject: make the tex compile --- taler-fc19/paper.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'taler-fc19') 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\}. \] -- cgit v1.2.3