diff --git a/.vscode/settings.json b/.vscode/settings.json index 19e7af6c33be797d570c7c8ab313765f26525919..fc523a631acafd28759c31567923eeda3f75186a 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -1,24 +1,30 @@ { - "cSpell.words": [ - "ORAM", - "amsalpha", - "beamer", - "includegraphics", - "keepaspectratio", - "usetheme", - "Bogatov", + "cSpell.words": [ + "Bogatov", "Captcha", "Diffie", "Dmytro", "Edmonds", "Fulkerson", "Karp", + "ORAM", + "Untrusted", + "alertblock", + "amsalpha", + "beamer", "bijection", "bijective", "chktex", "cryptosystem", "dbogatov", "distinguisher", - "indistinguishability" - ] + "frametitle", + "includegraphics", + "indistinguishability", + "keepaspectratio", + "orams", + "parametrization", + "progressbar", + "usetheme" + ] } \ No newline at end of file diff --git a/build.sh b/build.sh index 6981f86c393c37a87ba8143a03aa5ad3a68f8ee9..7f39a7da6f526023ea41ad03533882b5d2c27e6f 100755 --- a/build.sh +++ b/build.sh @@ -44,6 +44,7 @@ while getopts "i:vgt" o; do case "${o}" in g) DEBUG=true + INTERACTION=batchmode ;; v) VERBOSE=true diff --git a/main.tex b/main.tex index 0c3c5e41bdfaf8627b1e850be87457fa5c6e7ef0..fd028f04547295a009b670bb865e8b7ccf302cef 100644 --- a/main.tex +++ b/main.tex @@ -1,3 +1,5 @@ +% cSpell:ignore bibfile + \documentclass{beamer} \input{preamble} @@ -6,11 +8,30 @@ \maketitle - % TOC \begin{frame}{Table of Contents} \tableofcontents \end{frame} \input{sections/oblivious-memory} + \input{sections/overview-of-other-orams} + \input{sections/problem-definition} + \input{sections/path-oram-protocol} + \input{sections/recursion-and-parametrization} + \input{sections/bounds-on-stash-usage} + \input{sections/evaluation} + \input{sections/applications-and-extensions} + \input{sections/conclusion} + + + \begin{frame}[standout] + Questions? + \end{frame} + + \begin{frame}{References} + \bibliographystyle{amsalpha} + \bibliography{bibfile} + \end{frame} + + \maketitle \end{document} diff --git a/preamble.tex b/preamble.tex index 999abcfe050bbcaccf9635bed3716c822523d6b8..22f43c143b7940ec66ee6545765764d7989d7c4e 100644 --- a/preamble.tex +++ b/preamble.tex @@ -1,10 +1,10 @@ -\usetheme{metropolis} +\usetheme[progressbar=frametitle]{metropolis} \title{Path ORAM: An Extremely Simple Oblivious RAM Protocol} % chktex 13 \subtitle{Discussion} -\date{Built from \textit{\input{version}} on \today} +\date{Built from \emph{\input{version}} on \today} \author{Dmytro Bogatov} diff --git a/sections/applications-and-extensions.tex b/sections/applications-and-extensions.tex new file mode 100644 index 0000000000000000000000000000000000000000..ec6d6c7efeb4221e68093cb648071285cfdc44ae --- /dev/null +++ b/sections/applications-and-extensions.tex @@ -0,0 +1 @@ +\section{Applications and extensions} diff --git a/sections/bounds-on-stash-usage.tex b/sections/bounds-on-stash-usage.tex new file mode 100644 index 0000000000000000000000000000000000000000..cfd30afc657040f9f842cd9c5017405e80c59e1d --- /dev/null +++ b/sections/bounds-on-stash-usage.tex @@ -0,0 +1 @@ +\section{Bounds on stash usage} diff --git a/sections/conclusion.tex b/sections/conclusion.tex new file mode 100644 index 0000000000000000000000000000000000000000..5e874985bdd3f12dbca18f532da6f556be699173 --- /dev/null +++ b/sections/conclusion.tex @@ -0,0 +1 @@ +\section{Conclusion} diff --git a/sections/evaluation.tex b/sections/evaluation.tex new file mode 100644 index 0000000000000000000000000000000000000000..cd3fc7fa4ae187605271dd7840cc3987aebc8a35 --- /dev/null +++ b/sections/evaluation.tex @@ -0,0 +1 @@ +\section{Evaluation} diff --git a/sections/oblivious-memory.tex b/sections/oblivious-memory.tex index 233b651f90dd7d7fdeb19c01fe6f222cea331bc7..7d5c3152bcc1284dce393357ce1ba6b73168ae20 100644 --- a/sections/oblivious-memory.tex +++ b/sections/oblivious-memory.tex @@ -2,15 +2,24 @@ \section{Oblivious Memory} - \begin{frame}{What is oblivious} + \begin{frame}{Problem statement} + + Untrusted server. + Secure database --- each record is encrypted. + What are we missing? - \begin{definition} - A machine is \textit{oblivious} if the sequence in which it accesses memory locations is equivalent for any two inputs with the same running time~\cite{Goldreich:1996:SPS:233551.233553}. - \end{definition} + \pause% + + \begin{alertblock}{Security vulnerability} + Adversary still sees the \textbf{access pattern}. + \end{alertblock} \end{frame} - \begin{frame}{References} - \bibliographystyle{amsalpha} - \bibliography{bibfile} + \begin{frame}{Oblivious RAM} + + \begin{block}{Definition} + A machine is \emph{oblivious} if the sequence in which it accesses memory locations is equivalent for any two inputs with the same running time~\cite{Goldreich:1996:SPS:233551.233553}. + \end{block} + \end{frame} diff --git a/sections/overview-of-other-orams.tex b/sections/overview-of-other-orams.tex new file mode 100644 index 0000000000000000000000000000000000000000..87c38907eafd1110e7cc376bac8d39dd01a0fcf6 --- /dev/null +++ b/sections/overview-of-other-orams.tex @@ -0,0 +1 @@ +\section{Overview of other ORAMs} diff --git a/sections/path-oram-protocol.tex b/sections/path-oram-protocol.tex new file mode 100644 index 0000000000000000000000000000000000000000..54c8ffea8997a1072d9b3912d93d8768587d467a --- /dev/null +++ b/sections/path-oram-protocol.tex @@ -0,0 +1 @@ +\section{Path ORAM protocol} diff --git a/sections/problem-definition.tex b/sections/problem-definition.tex new file mode 100644 index 0000000000000000000000000000000000000000..83b6f4cf910e47eca67d3f97aa42cf9df50efff8 --- /dev/null +++ b/sections/problem-definition.tex @@ -0,0 +1 @@ +\section{Problem definition} diff --git a/sections/recursion-and-parametrization.tex b/sections/recursion-and-parametrization.tex new file mode 100644 index 0000000000000000000000000000000000000000..a25c6e4d30f62bf4879cec0bba585ac74ed0878c --- /dev/null +++ b/sections/recursion-and-parametrization.tex @@ -0,0 +1 @@ +\section{Recursion and parametrization}