slides

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}