slides

2 files changed, 140 insertions, 105 deletions

diff --git a/presentation/outline.txt b/presentation/outline.txt
index 6190e0a..6acc2cc 100644
--- a/presentation/outline.txt
+++ b/presentation/outline.txt
@@ -14,13 +14,20 @@ Total time:  45 minutes
  * mostly talk about the properties themselves,
    only a bit about formal modelling and proofs
 
-* web integration stuff
-
 * talk about compromise scenarios
+ * esp. compared to formal model
 
 * highlight idea of refresh protocol
  * taxability
 
+* web integration stuff
+ * payto!
+  * compare with mailto
+
+* comparision to blockchain
+ * PoW blockchain vs PoS
+ * anonymity
+
 * Byzantine Set Consensus
  * talk more about connection to payment systems
 
@@ -34,3 +41,5 @@ Total time:  45 minutes
 # Questions / Clarifications
 
 * why were other existing formal models of e-cash not used?
+
+# summary of thesis feedback
diff --git a/presentation/slides.tex b/presentation/slides.tex
index 0cefd74..9d6e16e 100644
--- a/presentation/slides.tex
+++ b/presentation/slides.tex
@@ -63,6 +63,10 @@
 \usepackage{graphicx} % Allows including images
 \usepackage{booktabs} % Allows the use of \toprule, \midrule and \bottomrule in tables
 
+\newcounter{sauvegardeenumi}
+\newcommand{\saveEnumCounter}{\setcounter{sauvegardeenumi}{\theenumi}}
+\newcommand{\continueEnumCounter}{\setcounter{enumi}{\thesauvegardeenumi}}
+
 %----------------------------------------------------------------------------------------
 %	TITLE PAGE
 %----------------------------------------------------------------------------------------
@@ -82,157 +86,179 @@ Inria \\ % Your institution for the title page
 
 \begin{document}
 
+
+
+%\begin{frame}
+%\frametitle{Overview} % Table of contents slide, comment this block out to remove it
+%\tableofcontents % Throughout your presentation, if you choose to use \section{} and \subsection{} commands, these will automatically be printed on this slide as an overview of your presentation
+%\end{frame}
+
+
 \begin{frame}
 \titlepage % Print the title page as the first slide
 \end{frame}
 
+
 \begin{frame}
-\frametitle{Overview} % Table of contents slide, comment this block out to remove it
-\tableofcontents % Throughout your presentation, if you choose to use \section{} and \subsection{} commands, these will automatically be printed on this slide as an overview of your presentation
+\frametitle{How do Payments work today?}
 \end{frame}
 
-%----------------------------------------------------------------------------------------
-%	PRESENTATION SLIDES
-%----------------------------------------------------------------------------------------
+%--------------------
 
-%------------------------------------------------
-\section{First Section} % Sections can be created in order to organize your presentation into discrete blocks, all sections and subsections are automatically printed in the table of contents as an overview of the talk
-%------------------------------------------------
+\begin{frame}
+\frametitle{Motivation}
+The internet has many standards, but not a standard payment system.
+Can/should we have a payment system for the internet?
+
+\begin{block}{Question}
+  How can new network protocols and cryptographic protocols
+  improve online payment systems?  Can a payment system be secure
+  and follow certain \emph{ethical/societal} goals?
+\end{block}
+\end{frame}
 
-\subsection{Subsection Example} % A subsection can be created just before a set of slides with a common theme to further break down your presentation into chunks
 
-\begin{frame}
-\frametitle{Paragraphs of Text}
-Sed iaculis dapibus gravida. Morbi sed tortor erat, nec interdum arcu. Sed id lorem lectus. Quisque viverra augue id sem ornare non aliquam nibh tristique. Aenean in ligula nisl. Nulla sed tellus ipsum. Donec vestibulum ligula non lorem vulputate fermentum accumsan neque mollis.\\~\\
+%--------------------
 
-Sed diam enim, sagittis nec condimentum sit amet, ullamcorper sit amet libero. Aliquam vel dui orci, a porta odio. Nullam id suscipit ipsum. Aenean lobortis commodo sem, ut commodo leo gravida vitae. Pellentesque vehicula ante iaculis arcu pretium rutrum eget sit amet purus. Integer ornare nulla quis neque ultrices lobortis. Vestibulum ultrices tincidunt libero, quis commodo erat ullamcorper id.
+\begin{frame}
+\frametitle{Design Goals}
+Not all payment systems have the same requirements.  We want ours to
+\begin{enumerate}
+  \item \ldots be implemented as free software.
+\end{enumerate}
 \end{frame}
 
-%------------------------------------------------
+%--------------------
 
 \begin{frame}
-\frametitle{Bullet Points}
-\begin{itemize}
-\item Lorem ipsum dolor sit amet, consectetur adipiscing elit
-\item Aliquam blandit faucibus nisi, sit amet dapibus enim tempus eu
-\item Nulla commodo, erat quis gravida posuere, elit lacus lobortis est, quis porttitor odio mauris at libero
-\item Nam cursus est eget velit posuere pellentesque
-\item Vestibulum faucibus velit a augue condimentum quis convallis nulla gravida
-\end{itemize}
+\frametitle{Contributions}
+Income-transparent online e-cash
+
+Byzantine Set-Union Consensus
 \end{frame}
 
-%------------------------------------------------
+%---------------------
+
 
 \begin{frame}
-\frametitle{Blocks of Highlighted Text}
-\begin{block}{Block 1}
-Lorem ipsum dolor sit amet, consectetur adipiscing elit. Integer lectus nisl, ultricies in feugiat rutrum, porttitor sit amet augue. Aliquam ut tortor mauris. Sed volutpat ante purus, quis accumsan dolor.
-\end{block}
+\frametitle{The auditor}
+Technically Obvious, but makes you think about what goes wrong,
+  and \emph{what happens then}.
+\end{frame}
 
-\begin{block}{Block 2}
-Pellentesque sed tellus purus. Class aptent taciti sociosqu ad litora torquent per conubia nostra, per inceptos himenaeos. Vestibulum quis magna at risus dictum tempor eu vitae velit.
-\end{block}
+\begin{frame}
+\frametitle{Security Properties}
+Other systems don't focus that much on aborts.  Something goes wrong, then what do you do?
 
-\begin{block}{Block 3}
-Suspendisse tincidunt sagittis gravida. Curabitur condimentum, enim sed venenatis rutrum, ipsum neque consectetur orci, sed blandit justo nisi ac lacus.
-\end{block}
+What if you restore from backup?
+
+Most work focuses on offline e-cash.
+
+No considerations of practical compromise.
 \end{frame}
 
-%------------------------------------------------
 
 \begin{frame}
-\frametitle{Multiple Columns}
-\begin{columns}[c] % The "c" option specifies centered vertical alignment while the "t" option is used for top vertical alignment
+\frametitle{Security Properties (cont'd)}
+  \begin{block}{Anonymity}
 
-\column{.45\textwidth} % Left column and width
-\textbf{Heading}
-\begin{enumerate}
-\item Statement
-\item Explanation
-\item Example
-\end{enumerate}
+  \end{block}
 
-\column{.5\textwidth} % Right column and width
-Lorem ipsum dolor sit amet, consectetur adipiscing elit. Integer lectus nisl, ultricies in feugiat rutrum, porttitor sit amet augue. Aliquam ut tortor mauris. Sed volutpat ante purus, quis accumsan dolor.
+  \pause
 
-\end{columns}
-\end{frame}
+  \begin{block}{Unforgeability}
 
-%------------------------------------------------
-\section{Second Section}
-%------------------------------------------------
+  \end{block}
+\end{frame}
 
 \begin{frame}
-\frametitle{Table}
-\begin{table}
-\begin{tabular}{l l l}
-\toprule
-\textbf{Treatments} & \textbf{Response 1} & \textbf{Response 2}\\
-\midrule
-Treatment 1 & 0.0003262 & 0.562 \\
-Treatment 2 & 0.0015681 & 0.910 \\
-Treatment 3 & 0.0009271 & 0.296 \\
-\bottomrule
-\end{tabular}
-\caption{Table caption}
-\end{table}
-\end{frame}
+\frametitle{Security Properties (cont'd)}
+  \begin{block}{Conservation}
 
-%------------------------------------------------
+  \end{block}
 
-\begin{frame}
-\frametitle{Theorem}
-\begin{theorem}[Mass--energy equivalence]
-$E = mc^2$
-\end{theorem}
+  \pause
+
+  \begin{block}{Income Transparency}
+
+  \end{block}
 \end{frame}
 
-%------------------------------------------------
+\begin{frame}
+\frametitle{Future Academic Work}
+  \begin{itemize}
+    \item Mechanize security properties (e.g. ProVerif / CryptoVerif / F-star)
+  \end{itemize}
+\end{frame}
 
-\begin{frame}[fragile] % Need to use the fragile option when verbatim is used in the slide
-\frametitle{Verbatim}
-\begin{example}[Theorem Slide Code]
-\begin{verbatim}
 \begin{frame}
-\frametitle{Theorem}
-\begin{theorem}[Mass--energy equivalence]
-$E = mc^2$
-\end{theorem}
-\end{frame}\end{verbatim}
-\end{example}
+\frametitle{Funded/Ongoing Work}
+  \begin{itemize}
+    \item Me:  Work on Taler PoS terminal for the next 6 month, supported
+      by German government grant (Prototype Fund)
+    \item Taler Systems:  Employs 1 engineer (Marcello Stanisci), looking for funding!
+  \end{itemize}
 \end{frame}
 
 %------------------------------------------------
 
-\begin{frame}
-\frametitle{Figure}
-Uncomment the code on this slide to include your own image from the same directory as the template .TeX file.
-%\begin{figure}
-%\includegraphics[width=0.8\linewidth]{test}
-%\end{figure}
-\end{frame}
+%\begin{frame}
+%\frametitle{Multiple Columns}
+%\begin{columns}[c] % The "c" option specifies centered vertical alignment while the "t" option is used for top vertical alignment
+%
+%\column{.45\textwidth} % Left column and width
+%\textbf{Heading}
+%\begin{enumerate}
+%\item Statement
+%\item Explanation
+%\item Example
+%\end{enumerate}
+%
+%\column{.5\textwidth} % Right column and width
+%Lorem ipsum dolor sit amet, consectetur adipiscing elit. Integer lectus nisl, ultricies in feugiat rutrum, porttitor sit amet augue. Aliquam ut tortor mauris. Sed volutpat ante purus, quis accumsan dolor.
+%
+%\end{columns}
+%\end{frame}
 
 %------------------------------------------------
 
-\begin{frame}[fragile] % Need to use the fragile option when verbatim is used in the slide
-\frametitle{Citation}
-An example of the \verb|\cite| command to cite within the presentation:\\~
+%\begin{frame}
+%\frametitle{Table}
+%\begin{table}
+%\begin{tabular}{l l l}
+%\toprule
+%\textbf{Treatments} & \textbf{Response 1} & \textbf{Response 2}\\
+%\midrule
+%Treatment 1 & 0.0003262 & 0.562 \\
+%Treatment 2 & 0.0015681 & 0.910 \\
+%Treatment 3 & 0.0009271 & 0.296 \\
+%\bottomrule
+%\end{tabular}
+%\caption{Table caption}
+%\end{table}
+%\end{frame}
 
-This statement requires citation \cite{p1}.
-\end{frame}
+%------------------------------------------------
+
+%\begin{frame}[fragile] % Need to use the fragile option when verbatim is used in the slide
+%\frametitle{Citation}
+%An example of the \verb|\cite| command to cite within the presentation:\\~
+%
+%This statement requires citation \cite{p1}.
+%\end{frame}
 
 %------------------------------------------------
 
-\begin{frame}
-\frametitle{References}
-\footnotesize{
-\begin{thebibliography}{99} % Beamer does not support BibTeX so references must be inserted manually as below
-\bibitem[Smith, 2012]{p1} John Smith (2012)
-\newblock Title of the publication
-\newblock \emph{Journal Name} 12(3), 45 -- 678.
-\end{thebibliography}
-}
-\end{frame}
+%\begin{frame}
+%\frametitle{References}
+%\footnotesize{
+%\begin{thebibliography}{99} % Beamer does not support BibTeX so references must be inserted manually as below
+%\bibitem[Smith, 2012]{p1} John Smith (2012)
+%\newblock Title of the publication
+%\newblock \emph{Journal Name} 12(3), 45 -- 678.
+%\end{thebibliography}
+%}
+%\end{frame}
 
 %------------------------------------------------