From 6c335f33558b79293ed30bec6fd805ee17f1e206 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Tue, 25 Sep 2018 13:08:08 +0200 Subject: ref schroeder for blindness game enhancement --- taler-fc19/paper.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'taler-fc19') diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex index 97fb55c..f9f40a5 100644 --- a/taler-fc19/paper.tex +++ b/taler-fc19/paper.tex @@ -775,7 +775,8 @@ We require the following two security properties for $\textsc{BlindSign}$: \item \emph{blindness}: It should be computationally infeasible for a malicious signer to decide which of two messages and has been signed first in two executions with an honest user. The corresponding game can defined as - in Abe and Okamoto \cite{abe2000provably}. + in Abe and Okamoto \cite{abe2000provably}, with the additional enhancement + that the adversary generates the signing key \cite{schroder2017security}. \item \emph{unforgeability}: An adversary that requests $k$ signatures with $\algo{Sign}_{BS}$ is unable to produce $k+1$ valid signatures with non-negligible probability. \end{itemize} -- cgit v1.2.3