diff options
Diffstat (limited to 'slides/2021-padsec/img')
-rw-r--r-- | slides/2021-padsec/img/after.tex | 70 | ||||
-rw-r--r-- | slides/2021-padsec/img/before.tex | 46 | ||||
-rw-r--r-- | slides/2021-padsec/img/clean.jpg | bin | 0 -> 365111 bytes | |||
-rw-r--r-- | slides/2021-padsec/img/curl.jpg | bin | 0 -> 1634737 bytes | |||
-rwxr-xr-x | slides/2021-padsec/img/kau.png | bin | 0 -> 66309 bytes | |||
-rw-r--r-- | slides/2021-padsec/img/log-request.tex | 47 | ||||
-rw-r--r-- | slides/2021-padsec/img/mt.tex | 19 | ||||
-rw-r--r-- | slides/2021-padsec/img/mullvad.png | bin | 0 -> 38642 bytes | |||
-rw-r--r-- | slides/2021-padsec/img/openbsd.pdf | bin | 0 -> 1778095 bytes | |||
-rw-r--r-- | slides/2021-padsec/img/rb.png | bin | 0 -> 38913 bytes | |||
-rw-r--r-- | slides/2021-padsec/img/rgdd.jpg | bin | 0 -> 106846 bytes | |||
-rw-r--r-- | slides/2021-padsec/img/thanks.pdf | bin | 0 -> 12497 bytes | |||
-rw-r--r-- | slides/2021-padsec/img/tree-leaf.trunnel | 9 |
13 files changed, 191 insertions, 0 deletions
diff --git a/slides/2021-padsec/img/after.tex b/slides/2021-padsec/img/after.tex new file mode 100644 index 0000000..c2af725 --- /dev/null +++ b/slides/2021-padsec/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-padsec/img/before.tex b/slides/2021-padsec/img/before.tex new file mode 100644 index 0000000..f634ef4 --- /dev/null +++ b/slides/2021-padsec/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-padsec/img/clean.jpg b/slides/2021-padsec/img/clean.jpg Binary files differnew file mode 100644 index 0000000..2465e5e --- /dev/null +++ b/slides/2021-padsec/img/clean.jpg diff --git a/slides/2021-padsec/img/curl.jpg b/slides/2021-padsec/img/curl.jpg Binary files differnew file mode 100644 index 0000000..51765e7 --- /dev/null +++ b/slides/2021-padsec/img/curl.jpg diff --git a/slides/2021-padsec/img/kau.png b/slides/2021-padsec/img/kau.png Binary files differnew file mode 100755 index 0000000..0c7c885 --- /dev/null +++ b/slides/2021-padsec/img/kau.png diff --git a/slides/2021-padsec/img/log-request.tex b/slides/2021-padsec/img/log-request.tex new file mode 100644 index 0000000..08edf87 --- /dev/null +++ b/slides/2021-padsec/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-padsec/img/mt.tex b/slides/2021-padsec/img/mt.tex new file mode 100644 index 0000000..3deaf62 --- /dev/null +++ b/slides/2021-padsec/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-padsec/img/mullvad.png b/slides/2021-padsec/img/mullvad.png Binary files differnew file mode 100644 index 0000000..4574eb1 --- /dev/null +++ b/slides/2021-padsec/img/mullvad.png diff --git a/slides/2021-padsec/img/openbsd.pdf b/slides/2021-padsec/img/openbsd.pdf Binary files differnew file mode 100644 index 0000000..53c6c98 --- /dev/null +++ b/slides/2021-padsec/img/openbsd.pdf diff --git a/slides/2021-padsec/img/rb.png b/slides/2021-padsec/img/rb.png Binary files differnew file mode 100644 index 0000000..a0b30cb --- /dev/null +++ b/slides/2021-padsec/img/rb.png diff --git a/slides/2021-padsec/img/rgdd.jpg b/slides/2021-padsec/img/rgdd.jpg Binary files differnew file mode 100644 index 0000000..597b406 --- /dev/null +++ b/slides/2021-padsec/img/rgdd.jpg diff --git a/slides/2021-padsec/img/thanks.pdf b/slides/2021-padsec/img/thanks.pdf Binary files differnew file mode 100644 index 0000000..9ad4dc8 --- /dev/null +++ b/slides/2021-padsec/img/thanks.pdf diff --git a/slides/2021-padsec/img/tree-leaf.trunnel b/slides/2021-padsec/img/tree-leaf.trunnel new file mode 100644 index 0000000..c3806f3 --- /dev/null +++ b/slides/2021-padsec/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]; +} |