Rescue some slides from old private mono repos

16 files changed, 260 insertions, 0 deletions

diff --git a/slides/2021-aha/img/after.tex b/slides/2021-aha/img/after.tex
new file mode 100644
index 0000000..c2af725
--- /dev/null
+++ b/slides/2021-aha/img/after.tex
@@ -0,0 +1,70 @@
+\begin{tikzpicture}[
+	-latex,
+	entity/.style = {
+		draw = gray!30,
+		thick,
+		rounded rectangle,
+		fill = white,
+		minimum width = 2cm,
+		font = \fontsize{8}{8}\selectfont,
+		text = white,
+	},
+	relation/.style = {
+		draw = none,
+		font = \fontsize{6}{6}\selectfont,
+	},
+	path/.style = {
+		draw,
+		thick,
+		-latex,
+	},
+]
+	\node[entity, fill=darkBlue] (Publisher) at (0,0) { Publisher };
+	\node[entity, fill=darkGreen, below=1.5cm of Publisher] (EndUser) {End-user};
+	\node[entity, fill=darkOrange, left=1.5cm of Publisher] (Log) {Log};
+	\node[entity, fill=darkRed, below=1.5cm of Log] (Witness) {Witness};
+
+	% Key setup
+	\path[path, dashed] ($ (EndUser) + (2,0) $) --
+			node[relation, above] { Public keys }
+		(EndUser);
+	% Get data and signature
+	\path[path] (Publisher) --
+			node[relation, right] {
+				\begin{tabular}{c}
+					Opaque data\\
+					Signature\\
+					Proofs of logging\\
+				\end{tabular}
+			}
+		(EndUser);
+	% Verification
+	\path[path, rounded corners]
+		(EndUser.180) -|
+		($ (EndUser) + (-1.25,-.75) $)
+			node[relation, below]{
+				Verify
+			} -|
+		(EndUser.210);
+
+	
+	% Cosigning
+	\path[path] (Witness) edge[bend right]
+			node[relation,right]{Cosignature}
+		(Log);	
+	\path[path] (Log) edge[bend right]
+			node[relation,left]{Tree head}
+		(Witness);
+	\path[path, rounded corners]
+		(Witness.180) -|
+		($ (Witness) + (-1.25,-.75) $)
+			node[relation, below]{
+				Verify
+			} -|
+		(Witness.210);
+
+	% Get proofs
+	\path[path] (Log) --
+			node[relation,above]{Proofs of logging}
+		(Publisher);
+\end{tikzpicture}
diff --git a/slides/2021-aha/img/before.tex b/slides/2021-aha/img/before.tex
new file mode 100644
index 0000000..f634ef4
--- /dev/null
+++ b/slides/2021-aha/img/before.tex
@@ -0,0 +1,46 @@
+\begin{tikzpicture}[
+	-latex,
+	entity/.style = {
+		draw = gray!30,
+		thick,
+		rounded rectangle,
+		fill = white,
+		minimum width = 2cm,
+		font = \fontsize{8}{8}\selectfont,
+		text = white,
+	},
+	relation/.style = {
+		draw = none,
+		font = \fontsize{6}{6}\selectfont,
+	},
+	path/.style = {
+		draw,
+		thick,
+		-latex,
+	},
+]
+	\node[entity, fill=darkBlue] (Publisher) at (0,0) { Publisher };
+	\node[entity, fill=darkGreen, below=1.5cm of Publisher] (EndUser) {End-user};
+
+	% Key setup
+	\path[path, dashed] ($ (EndUser) + (2,0) $) --
+			node[relation, above] { Public key }
+		(EndUser);
+	% Get data and signature
+	\path[path] (Publisher) --
+			node[relation, right] {
+				\begin{tabular}{c}
+					Opaque data\\
+					Signature\\
+				\end{tabular}
+			}
+		(EndUser);
+	% Verification
+	\path[path, rounded corners]
+		(EndUser.180) -|
+		($ (EndUser) + (-1.25,-.75) $)
+			node[relation, below]{
+				Verify
+			} -|
+		(EndUser.210);
+\end{tikzpicture}
diff --git a/slides/2021-aha/img/beverwijk.jpg b/slides/2021-aha/img/beverwijk.jpg
new file mode 100644
index 0000000..3ac9d1a
--- /dev/null
+++ b/slides/2021-aha/img/beverwijk.jpg
diff --git a/slides/2021-aha/img/clean.jpg b/slides/2021-aha/img/clean.jpg
new file mode 100644
index 0000000..2465e5e
--- /dev/null
+++ b/slides/2021-aha/img/clean.jpg
diff --git a/slides/2021-aha/img/ct.tex b/slides/2021-aha/img/ct.tex
new file mode 100644
index 0000000..9ae60c3
--- /dev/null
+++ b/slides/2021-aha/img/ct.tex
@@ -0,0 +1,69 @@
+\begin{tikzpicture}[
+	-latex,
+	entity/.style = {
+		draw = gray!30,
+		thick,
+		rounded rectangle,
+		fill = white,
+		minimum width = 2cm,
+		font = \fontsize{8}{8}\selectfont,
+		text = white,
+	},
+	relation/.style = {
+		draw = none,
+		font = \fontsize{6}{6}\selectfont,
+	},
+	path/.style = {
+		draw,
+		thick,
+		-latex,
+	},
+]
+	\node[entity, fill=darkBlue] (Website) at (0,0) { Website };
+	\node[entity, fill=darkGreen, below=1.5cm of Website] (Browser) {Browser};
+	\node[entity, fill=darkOrange, left=1.5cm of Website] (Log) {Log};
+	\node[entity, fill=darkRed, below=1.5cm of Log] (Monitor) {Monitor};
+
+	% Get certificate and proofs of logging
+	\path[path] (Website) --
+			node[relation, right] {
+				\begin{tabular}{c}
+					Certificate\\
+					Proofs of logging\\
+				\end{tabular}
+			}
+		(Browser);
+	% Verification
+	\path[path, rounded corners]
+		(Browser.180) -|
+		($ (Browser) + (-1.25,-.75) $)
+			node[relation, below]{
+				Verify
+			} -|
+		(Browser.210);
+	
+	% Monitoring
+	\path[path] (Monitor) edge[bend right]
+			node[relation,right]{}
+		(Log);	
+	\path[path] (Log) edge[bend right]
+			node[relation,left]{}
+		(Monitor);
+	\path[path, rounded corners]
+		(Monitor.180) -|
+		($ (Monitor) + (-1.25,-.75) $)
+			node[relation, below]{
+				Mis-issuance?
+			} -|
+		(Monitor.210);
+
+	% Get proofs
+	\path[path, dashed] (Log) --
+			node[relation,above]{Proofs of logging}
+		(Website);
+
+	% Add certificates to log
+	\path[path, dashed] ($ (Log) + (-2,0) $) --
+			node[relation, above] { Certificates }
+		(Log);
+\end{tikzpicture}
diff --git a/slides/2021-aha/img/curl.jpg b/slides/2021-aha/img/curl.jpg
new file mode 100644
index 0000000..51765e7
--- /dev/null
+++ b/slides/2021-aha/img/curl.jpg
diff --git a/slides/2021-aha/img/diginotar.jpg b/slides/2021-aha/img/diginotar.jpg
new file mode 100644
index 0000000..c185e38
--- /dev/null
+++ b/slides/2021-aha/img/diginotar.jpg
diff --git a/slides/2021-aha/img/kau.png b/slides/2021-aha/img/kau.png
new file mode 100755
index 0000000..0c7c885
--- /dev/null
+++ b/slides/2021-aha/img/kau.png
diff --git a/slides/2021-aha/img/log-request.tex b/slides/2021-aha/img/log-request.tex
new file mode 100644
index 0000000..08edf87
--- /dev/null
+++ b/slides/2021-aha/img/log-request.tex
@@ -0,0 +1,47 @@
+\begin{tikzpicture}[
+	-latex,
+	entity/.style = {
+		draw = gray!30,
+		thick,
+		rounded rectangle,
+		fill = white,
+		minimum width = 2cm,
+		font = \fontsize{8}{8}\selectfont,
+		text = white,
+	},
+	relation/.style = {
+		draw = none,
+		font = \fontsize{6}{6}\selectfont,
+	},
+	path/.style = {
+		draw,
+		thick,
+		-latex,
+	},
+]
+	\node[entity, fill=darkBlue] (Publisher) at (0,0) { Publisher };
+	\node[entity, fill=darkGreen, below=1.5cm of Publisher] (DNS) {DNS};
+	\node[entity, fill=darkOrange, left=1.5cm of Publisher] (Log) {Log};
+
+	% Setup DNS
+	\path[path, dashed] (Publisher) --
+			node[relation, right] {TXT RR}
+		(DNS);
+	
+	\path[path] (Publisher) edge[bend right]
+			node[relation, above] {
+				Key-value pairs
+			}
+		(Log);
+	\path[path] (Log) edge[bend right]
+			node[relation,below] {
+				accept/reject
+			}
+		(Publisher);
+	
+	\path[path, rounded corners] (Log) |-
+			node[relation,below,pos=.75]{
+				verify TXT RR
+			}
+		(DNS);
+\end{tikzpicture}
diff --git a/slides/2021-aha/img/mt.tex b/slides/2021-aha/img/mt.tex
new file mode 100644
index 0000000..3deaf62
--- /dev/null
+++ b/slides/2021-aha/img/mt.tex
@@ -0,0 +1,19 @@
+\begin{tikzpicture}[
+  -latex,
+]
+  \Tree [
+    .$\hash(h_{01}\concat h_{23})$ [
+      .$h_{01}\coloneqq\hash(h_0\concat h_1)$ [
+        .$h_0\coloneqq\hash(\mathsf{foo})$
+      ] [
+        .$h_1\coloneqq\hash(\mathsf{bar})$
+      ]
+    ] [
+      .$h_{23}\coloneqq\hash(h_2\concat h_3)$ [
+        .$h_2\coloneqq\hash(\mathsf{baz})$
+      ] [
+        .$h_3\coloneqq\hash(\mathsf{qux})$
+      ]
+    ]
+  ]   
+\end{tikzpicture}
diff --git a/slides/2021-aha/img/mullvad.png b/slides/2021-aha/img/mullvad.png
new file mode 100644
index 0000000..4574eb1
--- /dev/null
+++ b/slides/2021-aha/img/mullvad.png
diff --git a/slides/2021-aha/img/openbsd.pdf b/slides/2021-aha/img/openbsd.pdf
new file mode 100644
index 0000000..53c6c98
--- /dev/null
+++ b/slides/2021-aha/img/openbsd.pdf
diff --git a/slides/2021-aha/img/rb.png b/slides/2021-aha/img/rb.png
new file mode 100644
index 0000000..a0b30cb
--- /dev/null
+++ b/slides/2021-aha/img/rb.png
diff --git a/slides/2021-aha/img/rgdd.jpg b/slides/2021-aha/img/rgdd.jpg
new file mode 100644
index 0000000..597b406
--- /dev/null
+++ b/slides/2021-aha/img/rgdd.jpg
diff --git a/slides/2021-aha/img/thanks.pdf b/slides/2021-aha/img/thanks.pdf
new file mode 100644
index 0000000..9ad4dc8
--- /dev/null
+++ b/slides/2021-aha/img/thanks.pdf
diff --git a/slides/2021-aha/img/tree-leaf.trunnel b/slides/2021-aha/img/tree-leaf.trunnel
new file mode 100644
index 0000000..c3806f3
--- /dev/null
+++ b/slides/2021-aha/img/tree-leaf.trunnel
@@ -0,0 +1,9 @@
+/*
+ * The logged Merkle tree leaf data
+ */
+struct tree_leaf {
+    u64 shard_hint;
+    u8 checksum[32];
+    u8 signature[64];
+    u8 key_hash[32];
+}