Rescue some slides from old private mono repos

20 files changed, 295 insertions, 0 deletions

diff --git a/slides/2018-lwm/img/batch.pdf b/slides/2018-lwm/img/batch.pdf
new file mode 100644
index 0000000..f98250f
--- /dev/null
+++ b/slides/2018-lwm/img/batch.pdf
diff --git a/slides/2018-lwm/img/ct.png b/slides/2018-lwm/img/ct.png
new file mode 100644
index 0000000..10267e7
--- /dev/null
+++ b/slides/2018-lwm/img/ct.png
diff --git a/slides/2018-lwm/img/frequency.pdf b/slides/2018-lwm/img/frequency.pdf
new file mode 100644
index 0000000..4957b24
--- /dev/null
+++ b/slides/2018-lwm/img/frequency.pdf
diff --git a/slides/2018-lwm/img/logo.png b/slides/2018-lwm/img/logo.png
new file mode 100755
index 0000000..0c7c885
--- /dev/null
+++ b/slides/2018-lwm/img/logo.png
diff --git a/slides/2018-lwm/img/mt.tex b/slides/2018-lwm/img/mt.tex
new file mode 100644
index 0000000..984da14
--- /dev/null
+++ b/slides/2018-lwm/img/mt.tex
@@ -0,0 +1,26 @@
+\begin{tikzpicture}[
+  sibling distance=32pt,
+  -latex,
+  apnode/.style = {
+    draw=none,
+  },
+  ap/.style = {
+    draw=black,
+  },
+]
+  \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/slides/2018-lwm/img/mtp.tex b/slides/2018-lwm/img/mtp.tex
new file mode 100644
index 0000000..a62b333
--- /dev/null
+++ b/slides/2018-lwm/img/mtp.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/slides/2018-lwm/img/overview.tex b/slides/2018-lwm/img/overview.tex
new file mode 100644
index 0000000..9dff7b0
--- /dev/null
+++ b/slides/2018-lwm/img/overview.tex
@@ -0,0 +1,74 @@
+\begin{tikzpicture}[
+  -latex,
+  rrs/.style = {
+    draw = gray!30,
+    thick,
+    rounded rectangle,
+    fill = white,
+    minimum width = 2cm,
+    font = \fontsize{8}{8}\selectfont,
+    text = white,
+  },
+  ls/.style = {
+    font=\fontsize{6}{6}\selectfont,
+  },
+]
+\draw (0, 1) node[rrs, fill=darkRed] (Log) {Log};
+\draw (0, -1) node[rrs, fill=darkGreen] (Subject) {Subject};
+\draw (3.5, 0) node[rrs, fill=darkBlue] (Endpoint) {Notifier};
+\draw (-3.5, 0) node[rrs, fill=gray] (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, anchor=center, above]{%
+      batch, STH
+    }
+  (Monitor.north east);
+\end{tikzpicture}
diff --git a/slides/2018-lwm/img/perf.jpg b/slides/2018-lwm/img/perf.jpg
new file mode 100644
index 0000000..42564f4
--- /dev/null
+++ b/slides/2018-lwm/img/perf.jpg
diff --git a/slides/2018-lwm/img/proofcom.pdf b/slides/2018-lwm/img/proofcom.pdf
new file mode 100644
index 0000000..473d817
--- /dev/null
+++ b/slides/2018-lwm/img/proofcom.pdf
diff --git a/slides/2018-lwm/img/proofgen.pdf b/slides/2018-lwm/img/proofgen.pdf
new file mode 100644
index 0000000..deb7ca4
--- /dev/null
+++ b/slides/2018-lwm/img/proofgen.pdf
diff --git a/slides/2018-lwm/img/proofvf.pdf b/slides/2018-lwm/img/proofvf.pdf
new file mode 100644
index 0000000..a2db9d1
--- /dev/null
+++ b/slides/2018-lwm/img/proofvf.pdf
diff --git a/slides/2018-lwm/img/qleft.pdf b/slides/2018-lwm/img/qleft.pdf
new file mode 100644
index 0000000..f35a078
--- /dev/null
+++ b/slides/2018-lwm/img/qleft.pdf
diff --git a/slides/2018-lwm/img/qright.pdf b/slides/2018-lwm/img/qright.pdf
new file mode 100644
index 0000000..da2e8e3
--- /dev/null
+++ b/slides/2018-lwm/img/qright.pdf
diff --git a/slides/2018-lwm/img/self-monitor.tex b/slides/2018-lwm/img/self-monitor.tex
new file mode 100644
index 0000000..0896990
--- /dev/null
+++ b/slides/2018-lwm/img/self-monitor.tex
@@ -0,0 +1,34 @@
+\begin{tikzpicture}[
+  -latex,
+  entity/.style = {
+    draw = gray!30,
+    thick,
+    rounded rectangle,
+    fill = white,
+    minimum width = 2cm,
+    font = \fontsize{8}{8}\selectfont,
+    text = white,
+  },
+  ls/.style = {
+    draw=none,
+    font=\fontsize{6}{6}\selectfont,
+  },
+]
+  \node[entity,fill=darkGreen](domain) at (0,0) {Subject};
+  \node[entity,fill=darkRed](log) at (0,-3) {Log};
+  \path[draw,thick,-latex]
+    (domain.south west) --
+      node[ls,sloped,below]{Any new certs?}
+    (log.north west);
+  \path[draw,thick,-latex]
+    (log.north east) --
+      node[ls,sloped,below]{List of certs}
+    (domain.south east);
+  \path[draw,thick,-latex]
+    (domain.north) |-
+    ($ (domain.west) + (domain.north) + (domain) + (-0.25, 0.25) $)
+      node[ls,above,pos=0.75]{
+        All ok?
+      } |-
+    (domain.west);
+\end{tikzpicture}
diff --git a/slides/2018-lwm/img/snapshot.pdf b/slides/2018-lwm/img/snapshot.pdf
new file mode 100644
index 0000000..df185f6
--- /dev/null
+++ b/slides/2018-lwm/img/snapshot.pdf
diff --git a/slides/2018-lwm/img/takeaway.pdf b/slides/2018-lwm/img/takeaway.pdf
new file mode 100644
index 0000000..7d3b190
--- /dev/null
+++ b/slides/2018-lwm/img/takeaway.pdf
@@ -0,0 +1,68 @@
+%PDF-1.4
+%����
+3 0 obj
+<< /Length 4 0 R
+   /Filter /FlateDecode
+>>
+stream
+x�m�A�0＂��
���>�������R�#$�E�{�r���Gy��C�\��`��;�㻨(d�Ut���0f��-��T����A7��
Tx�1f�՚;"�*�4{�~�M7�$
+endstream
+endobj
+4 0 obj
+   118
+endobj
+2 0 obj
+<<
+   /ExtGState <<
+      /a0 << /CA 1 /ca 1 >>
+   >>
+>>
+endobj
+5 0 obj
+<< /Type /Page
+   /Parent 1 0 R
+   /MediaBox [ 0 0 12.8 12.8 ]
+   /Contents 3 0 R
+   /Group <<
+      /Type /Group
+      /S /Transparency
+      /I true
+      /CS /DeviceRGB
+   >>
+   /Resources 2 0 R
+>>
+endobj
+1 0 obj
+<< /Type /Pages
+   /Kids [ 5 0 R ]
+   /Count 1
+>>
+endobj
+6 0 obj
+<< /Creator (cairo 1.14.0 (http://cairographics.org))
+   /Producer (cairo 1.14.0 (http://cairographics.org))
+>>
+endobj
+7 0 obj
+<< /Type /Catalog
+   /Pages 1 0 R
+>>
+endobj
+xref
+0 8
+0000000000 65535 f 
+0000000520 00000 n 
+0000000232 00000 n 
+0000000015 00000 n 
+0000000210 00000 n 
+0000000304 00000 n 
+0000000585 00000 n 
+0000000712 00000 n 
+trailer
+<< /Size 8
+   /Root 7 0 R
+   /Info 6 0 R
+>>
+startxref
+764
+%%EOF
diff --git a/slides/2018-lwm/img/tp-monitor.tex b/slides/2018-lwm/img/tp-monitor.tex
new file mode 100644
index 0000000..37a6241
--- /dev/null
+++ b/slides/2018-lwm/img/tp-monitor.tex
@@ -0,0 +1,43 @@
+\begin{tikzpicture}[
+  -latex,
+  entity/.style = {
+    draw = gray!30,
+    thick,
+    rounded rectangle,
+    fill = white,
+    minimum width = 2cm,
+    font = \fontsize{8}{8}\selectfont,
+    text = white,
+  },
+  ls/.style = {
+    draw=none,
+    font=\fontsize{6}{6}\selectfont,
+  },
+]
+  \node[entity,fill=darkGreen](domain) at (0,0) {Subject};
+  \node[entity,fill=darkRed](log) at (0,-3) {Log};
+  \node[entity,fill=darkBlue](monitor) at (3,-1.5) {Monitor};
+  \path[draw,thick,-latex]
+    (domain) -|
+      node[ls,above]{Notify if you see my certs}
+    (monitor);
+  \path[draw,thick,-latex]
+    (monitor) --
+      node[ls,sloped,above]{Found cert!}
+    (domain);
+  \path[draw,thick,-latex]
+    (monitor) |-
+      node[ls,below]{Any new certs?}
+    (log);
+  \path[draw,thick,-latex]
+    (log) --
+      node[ls,sloped,above]{List of certs}
+    (monitor);
+  \path[draw,thick,-latex]
+    (domain.north) |-
+    ($ (domain.west) + (domain.north) + (domain) + (-0.25, 0.25) $)
+      node[ls,above,pos=0.75]{
+        All ok?
+      } |-
+    (domain.west);
+\end{tikzpicture}
diff --git a/slides/2018-lwm/img/ty.pdf b/slides/2018-lwm/img/ty.pdf
new file mode 100644
index 0000000..9ad4dc8
--- /dev/null
+++ b/slides/2018-lwm/img/ty.pdf
diff --git a/slides/2018-lwm/img/wildcard.tex b/slides/2018-lwm/img/wildcard.tex
new file mode 100644
index 0000000..11f328e
--- /dev/null
+++ b/slides/2018-lwm/img/wildcard.tex
@@ -0,0 +1,22 @@
+\begin{tikzpicture}[
+  sibling distance=6pt,
+  level distance=150pt,
+  -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}
diff --git a/slides/2018-lwm/img/wish.pdf b/slides/2018-lwm/img/wish.pdf
new file mode 100644
index 0000000..372db92
--- /dev/null
+++ b/slides/2018-lwm/img/wish.pdf