aboutsummaryrefslogtreecommitdiff
path: root/slides/2021-aha/img
diff options
context:
space:
mode:
Diffstat (limited to 'slides/2021-aha/img')
-rw-r--r--slides/2021-aha/img/after.tex70
-rw-r--r--slides/2021-aha/img/before.tex46
-rw-r--r--slides/2021-aha/img/beverwijk.jpgbin0 -> 969066 bytes
-rw-r--r--slides/2021-aha/img/clean.jpgbin0 -> 365111 bytes
-rw-r--r--slides/2021-aha/img/ct.tex69
-rw-r--r--slides/2021-aha/img/curl.jpgbin0 -> 1634737 bytes
-rw-r--r--slides/2021-aha/img/diginotar.jpgbin0 -> 67736 bytes
-rwxr-xr-xslides/2021-aha/img/kau.pngbin0 -> 66309 bytes
-rw-r--r--slides/2021-aha/img/log-request.tex47
-rw-r--r--slides/2021-aha/img/mt.tex19
-rw-r--r--slides/2021-aha/img/mullvad.pngbin0 -> 38642 bytes
-rw-r--r--slides/2021-aha/img/openbsd.pdfbin0 -> 1778095 bytes
-rw-r--r--slides/2021-aha/img/rb.pngbin0 -> 38913 bytes
-rw-r--r--slides/2021-aha/img/rgdd.jpgbin0 -> 106846 bytes
-rw-r--r--slides/2021-aha/img/thanks.pdfbin0 -> 12497 bytes
-rw-r--r--slides/2021-aha/img/tree-leaf.trunnel9
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ
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];
+}
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-22 16:24:41 +0000