Import PhD thesis

7 files changed, 125 insertions, 0 deletions

diff --git a/summary/src/lwm/img/mt.tex b/summary/src/lwm/img/mt.tex
new file mode 100644
index 0000000..a62b333
--- /dev/null
+++ b/summary/src/lwm/img/mt.tex
@@ -0,0 +1,28 @@
+\begin{tikzpicture}[
+  sibling distance=32pt,
+  -latex,
+  apnode/.style = {
+    draw=black,
+    dashed,
+  },
+  ap/.style = {
+    draw=black,
+    dashed,
+  },
+]
+  \Tree [
+    .$r\gets\hash(h_{ab}\concat h_{cd})$ [
+      .\node[apnode]{$h_{ab}\gets\hash(h_a\concat h_b)$}; [
+        .$h_a\gets\hash(a)$
+      ] [
+        .$h_b\gets\hash(b)$
+      ]
+    ] \edge[ap]; [
+      .$h_{cd}\gets\hash(h_c\concat h_d)$ [
+        .\node[apnode]{$h_c\gets\hash(c)$};
+      ] \edge[ap]; [
+        .$h_d\gets\hash(d)$
+      ]
+    ]
+  ]   
+\end{tikzpicture}
diff --git a/summary/src/lwm/img/overview.tex b/summary/src/lwm/img/overview.tex
new file mode 100644
index 0000000..9f3a9d0
--- /dev/null
+++ b/summary/src/lwm/img/overview.tex
@@ -0,0 +1,75 @@
+\scalebox{0.9}{\begin{tikzpicture}[
+  -latex,
+  rrs/.style = {
+    draw = gray!30,
+    thick,
+    rounded rectangle,
+    fill = white,
+    minimum width = 2cm,
+    minimum height = 0.7cm,
+    font = \fontsize{10}{10}\selectfont,
+    text = white,
+  },
+  ls/.style = {
+    font=\fontsize{9}{8}\selectfont,
+  },
+]
+\draw (0, 1) node[rrs, fill=rgddTeal] (Log) {Log};
+\draw (0, -1) node[rrs, fill=rgddLime] (Subject) {Subject};
+\draw (3.5, 0) node[rrs, fill=rgddPurple] (Endpoint) {Notifier};
+\draw (-3.5, 0) node[rrs, fill=rgddRed] (Monitor) {Monitor};
+
+
+\path [draw, ->, rounded corners]
+  (Log.north) |-
+  ($ (Log.north) + (Log.west) - (Log) + (-0.25, 0.25) $)
+    node[ls, above, pos=0.75]{
+      STH with snapshot extension
+    } |-
+  (Log.west);
+
+\path [draw, ->, rounded corners]
+  (Monitor.south) |-
+  ($ (Monitor.south) + (Monitor.west) - (Monitor) + (-0.25, -0.25) $)
+    node[ls, below, pos=0.75]{
+      verify STH extension
+    } |-
+  (Monitor.west);
+
+\path [draw, ->, rounded corners]
+  (Subject.south) |-
+  ($ (Subject.south) + (Subject.east) - (Subject) + (0.25, -0.25) $)
+    node[ls, below, pos=0.75]{
+      verify notification
+    } |-
+  (Subject.east);
+
+\path [draw, <-, dashed, rounded corners]
+  (Endpoint.north) |-
+  ($ (Endpoint.east) + (Endpoint.north) - (Endpoint) + (0.25, 0.25) $)
+    node[ls, above, pos=0.75]{
+      optional verify
+    } |-
+  (Endpoint.east);
+
+\draw [->]
+  (Log.south east) --
+    node[ls, sloped, anchor=center, above]{%
+      batch, STH
+    }
+  (Endpoint.north west);
+
+\draw [->]
+  (Endpoint.south west) --
+    node[ls, sloped, anchor=center, above]{%
+      notification
+    }
+  (Subject.north east);
+
+\path [draw, ->]
+  (Log.south west) --
+    node[ls, sloped, pos=.59, above]{%
+      batch, STH
+    }
+  (Monitor.north east);
+\end{tikzpicture}}
diff --git a/summary/src/lwm/img/proofcom.pdf b/summary/src/lwm/img/proofcom.pdf
new file mode 100644
index 0000000..473d817
--- /dev/null
+++ b/summary/src/lwm/img/proofcom.pdf
diff --git a/summary/src/lwm/img/proofgen.pdf b/summary/src/lwm/img/proofgen.pdf
new file mode 100644
index 0000000..deb7ca4
--- /dev/null
+++ b/summary/src/lwm/img/proofgen.pdf
diff --git a/summary/src/lwm/img/proofvf.pdf b/summary/src/lwm/img/proofvf.pdf
new file mode 100644
index 0000000..a2db9d1
--- /dev/null
+++ b/summary/src/lwm/img/proofvf.pdf
diff --git a/summary/src/lwm/img/snapshot.pdf b/summary/src/lwm/img/snapshot.pdf
new file mode 100644
index 0000000..df185f6
--- /dev/null
+++ b/summary/src/lwm/img/snapshot.pdf
diff --git a/summary/src/lwm/img/wildcard.tex b/summary/src/lwm/img/wildcard.tex
new file mode 100644
index 0000000..73f4262
--- /dev/null
+++ b/summary/src/lwm/img/wildcard.tex
@@ -0,0 +1,22 @@
+\begin{tikzpicture}[
+  sibling distance=6pt,
+  level distance=100pt,
+  -latex,
+  grow=left,
+]
+  \Tree [
+    .$r\gets\hash(h_{01}\concat h_{23})$ [
+      .$h_{01}\gets\hash(h_0\concat h_1)$ [
+        .$h_0\gets\hash(\mathsf{gro.elpmaxe})$
+      ] [
+        .$h_1\gets\hash(\mathsf{moc.elpmaxe})$
+      ]
+    ] [
+      .$h_{23}\gets\hash(h_2\concat h_3)$ [
+        .$h_2\gets\hash(\mathsf{moc.elpmaxe.bus})$
+      ] [
+        .$h_3\gets\hash(\mathsf{ten.elpmaxe})$
+      ]
+    ]
+  ]   
+\end{tikzpicture}