diff options
Diffstat (limited to 'presentation')
-rw-r--r-- | presentation/slides.tex | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/presentation/slides.tex b/presentation/slides.tex index 4fe658a..038301f 100644 --- a/presentation/slides.tex +++ b/presentation/slides.tex @@ -446,19 +446,23 @@ $\Rightarrow$ Naive refresh protocol enables tax evasion Compromise Scenarios (simplified): \begin{itemize} - \item Exchage's signing key compromised $\Rightarrow$ - \item Exchage's denomination compromised $\Rightarrow$ + \item Exchage's denomination compromised $\Rightarrow$ denomination revoked, + customers use emergency payback protocol do recover funds + \item Exchage's signing key compromised $\Rightarrow$ signing key revoked, + merchants compensated proportional to correct participation in deposit auditing \end{itemize} + (HSMs can make these less likely!) \end{frame} \begin{frame} -\frametitle{Denomination Key Revocation} +\frametitle{Emergency Payback Protocol} + A denomiation with coin value $v$ that issued $n$ legitimate coins is revoked. \begin{itemize} - \item + \item Freshly withdrawn coins are returned to source reserve (customer shows withdraw transcript) \end{itemize} - $\Rightarrow$ Financial loss of the exchange limited to ??? + $\Rightarrow$ Financial loss of the exchange limited to $2nv$. \end{frame} %---------------------------- @@ -698,9 +702,12 @@ No considerations of practical compromise. %---------------------------- \begin{frame} -\frametitle{Future Academic Work} +\frametitle{Future Work} \begin{itemize} \item Mechanize security properties (e.g. ProVerif / CryptoVerif / F-star) + \item Applications: Network incentives, anti-spam + \item Smart(er) contracts / auctions + \item Backup + Sync \end{itemize} \end{frame} |