diff --git a/one-way/Makefile b/one-way/Makefile index f0a048d..43a52e5 100644 --- a/one-way/Makefile +++ b/one-way/Makefile @@ -18,6 +18,7 @@ beamer-didactic.sty: ../beamer-didactic/beamer-didactic.sty ${MAKE} -C $(dir $@) $(notdir $@) bibliography.bib: bibliography.bib(one-way.bib crypto.bib) +bibliography.bib(crypto.bib): crypto.bib .PHONY: all diff --git a/one-way/contents.tex b/one-way/contents.tex index a9a7915..6c9d8bc 100644 --- a/one-way/contents.tex +++ b/one-way/contents.tex @@ -68,6 +68,29 @@ \subsection{Hash functions} \end{definition} \end{frame} +\begin{frame} + \begin{definition}[Preimage resistance] + \begin{description} + \item[Input] hash function~\(H\), value~\(y\). + \item[Output] Any \(x\) such that \(H(x) = y\). + \end{description} + \end{definition} + + \begin{definition}[Second preimage resistance] + \begin{description} + \item[Input] hash function~\(H\), value \(x\). + \item[Output] Any value \(x'\) such that \(H(x) = H(x')\). + \end{description} + \end{definition} + + \begin{definition}[Collision resistance] + \begin{description} + \item[Input] hash function~\(H\). + \item[Output] Any two \(x, x'\) such that \(H(x) = H(x')\). + \end{description} + \end{definition} +\end{frame} + \begin{frame} \begin{example}[Implementations you might've heard of] \begin{itemize} @@ -233,10 +256,3 @@ \subsection{\Aclp{MAC}} \end{remark} \end{frame} - -%%%%%%%%%%%%%%%%%%%%%% - -\begin{frame}[allowframebreaks] - \printbibliography -\end{frame} - diff --git a/one-way/one-way-slides.tex b/one-way/one-way-slides.tex index 1e777db..e1c7df9 100644 --- a/one-way/one-way-slides.tex +++ b/one-way/one-way-slides.tex @@ -57,4 +57,8 @@ \end{abstract} \mode{\input{contents.tex}} + +\begin{frame}[allowframebreaks] + \printbibliography +\end{frame} \end{document} diff --git a/pub-key/Makefile b/pub-key/Makefile index 5507a57..49dcc5d 100644 --- a/pub-key/Makefile +++ b/pub-key/Makefile @@ -16,6 +16,7 @@ beamer-didactic.sty: ../beamer-didactic/beamer-didactic.sty ${MAKE} -C $(dir $@) $(notdir $@) bibliography.bib: bibliography.bib(pub-key.bib crypto.bib) +bibliography.bib(crypto.bib): crypto.bib .PHONY: all diff --git a/pub-key/contents.tex b/pub-key/contents.tex index 5846412..9044fec 100644 --- a/pub-key/contents.tex +++ b/pub-key/contents.tex @@ -370,9 +370,4 @@ \subsection{Homomorphic properties} \end{frame} -%%%%%%%%%%%%%%%%%%%%%% - -\begin{frame}[allowframebreaks] - \printbibliography -\end{frame} diff --git a/pub-key/pub-key-slides.tex b/pub-key/pub-key-slides.tex index e86acac..1999c7c 100644 --- a/pub-key/pub-key-slides.tex +++ b/pub-key/pub-key-slides.tex @@ -57,4 +57,9 @@ \end{abstract} \mode{\input{contents.tex}} + +\begin{frame}[allowframebreaks] + \printbibliography +\end{frame} + \end{document} diff --git a/tilkry-overview/.gitignore b/tilkry-overview/.gitignore new file mode 100644 index 0000000..9ca3129 --- /dev/null +++ b/tilkry-overview/.gitignore @@ -0,0 +1,10 @@ +bibliography.bib +bibsp.sty +ltxobj/ +slides.pdf +hashfunc.eps +one-way.tex +pub-key.tex +surjection.eps +zkp-smc.tex +questions.tex diff --git a/tilkry-overview/Makefile b/tilkry-overview/Makefile new file mode 100644 index 0000000..a22062f --- /dev/null +++ b/tilkry-overview/Makefile @@ -0,0 +1,62 @@ +LATEXFLAGS= -shell-escape + +.PHONY: all +all: slides.pdf + +SRC+= preamble.tex +SRC+= abstract.tex contents.tex + +EXT_SRC+= one-way.tex hashfunc.eps surjection.eps +EXT_SRC+= pub-key.tex +EXT_SRC+= zkp-smc.tex + +one-way.tex: ../one-way/contents.tex +hashfunc.eps: ../one-way/hashfunc.eps +surjection.eps: ../one-way/surjection.eps + +pub-key.tex: ../pub-key/contents.tex +zkp-smc.tex: ../zkp-smc/contents.tex + +${EXT_SRC}: + ${LN} $< $@ + +DEPENDS+= bibsp.sty + +slides.pdf: slides.tex +slides.pdf: bibliography.bib(../one-way/bibliography.bib) +slides.pdf: bibliography.bib(../pub-key/bibliography.bib) +slides.pdf: bibliography.bib(../zkp-smc/bibliography.bib) +slides.pdf: ${SRC} ${DEPENDS} +slides.pdf: ${EXT_SRC} + +bibliography.bib(../one-way/bibliography.bib): ../one-way/bibliography.bib +bibliography.bib(../pub-key/bibliography.bib): ../pub-key/bibliography.bib +bibliography.bib(../zkp-smc/bibliography.bib): ../zkp-smc/bibliography.bib + +questions.tex: ../one-way/questions.tex +questions.tex: ../pub-key/questions.tex +questions.tex: ../zkp-smc/questions.tex + +questions.tex: + ${CAT} $^ > $@ + +../%: + ${MAKE} -C $(dir $@) $(notdir $@) + +.PHONY: clean +clean: + ${RM} slides.pdf + ${RM} bibliography.bib + ${RM} ${EXT_SRC} + for d in one-way pub-key zkp-smc; do ${MAKE} -C ../$$d $@; done + ${RM} questions.tex + +.PHONY: distclean +distclean: + for d in one-way pub-key zkp-smc; do ${MAKE} -C ../$$d $@; done + + +INCLUDE_MAKEFILES=../makefiles +include ${INCLUDE_MAKEFILES}/tex.mk +INCLUDE_BIBSP=../bibsp +include ${INCLUDE_BIBSP}/bibsp.mk diff --git a/tilkry-overview/abstract.tex b/tilkry-overview/abstract.tex new file mode 100644 index 0000000..4012d9d --- /dev/null +++ b/tilkry-overview/abstract.tex @@ -0,0 +1,22 @@ +% What's the problem? +% Why is it a problem? Research gap left by other approaches? +% Why is it important? Why care? +% What's the approach? How to solve the problem? +% What's the findings? How was it evaluated, what are the results, limitations, +% what remains to be done? + +% XXX Summary +\emph{Summary:} +\dots + +% XXX Motivation and intended learning outcomes +\emph{Intended learning outcomes:} +\dots + +% XXX Prerequisites +\emph{Prerequisites:} +\dots + +% XXX Reading material +\emph{Reading:} +\dots diff --git a/tilkry-overview/contents.tex b/tilkry-overview/contents.tex new file mode 100644 index 0000000..bfc6bb6 --- /dev/null +++ b/tilkry-overview/contents.tex @@ -0,0 +1,37 @@ +\title{% + Hash functions, public-key crypto and zero-knowledge +} +\author{Daniel Bosk} +\institute{% + KTH EECS and + MIUN IST +} + +\mode
{\maketitle} +\mode{% + \begin{frame} + \maketitle + \end{frame} +} + +\mode* + +\begin{abstract} + \input{abstract.tex} +\end{abstract} + +\begin{frame} + \tableofcontents +\end{frame} + + +\mode{\input{one-way.tex}} +\mode{\input{pub-key.tex}} +\mode{\input{zkp-smc.tex}} + + +%%% REFERENCES %%% + +\begin{frame}[allowframebreaks] + \printbibliography +\end{frame} diff --git a/tilkry-overview/preamble.tex b/tilkry-overview/preamble.tex new file mode 100644 index 0000000..3495b38 --- /dev/null +++ b/tilkry-overview/preamble.tex @@ -0,0 +1,65 @@ +\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} +\usepackage[british]{babel} +\usepackage{import} +\usepackage{booktabs} + +\usepackage[all]{foreign} +\renewcommand{\foreignfullfont}{} +\renewcommand{\foreignabbrfont}{} + +\usepackage{newclude} +\usepackage{import} + +\usepackage[strict]{csquotes} +\usepackage[single]{acro} + +\usepackage[natbib,style=alphabetic,maxbibnames=99]{biblatex} + +\usepackage{subfig} + +\usepackage[noend]{algpseudocode} +\usepackage{xparse} + +\let\email\texttt + +\usepackage{listings} +\lstset{% + basicstyle=\footnotesize, + numbers=left +} + +\usepackage{amsmath} +\usepackage{amssymb} +\usepackage{mathtools} +\usepackage{amsthm} +\usepackage{thmtools} +\usepackage[unq]{unique} +%\DeclareMathOperator{\powerset}{\mathcal{P}} + +\usepackage[binary-units]{siunitx} + +\usepackage[capitalize]{cleveref} +\usepackage{bibsp} + +%%%%%%%%%%%%%%%%%%% + +\usepackage{graphicx} +\usepackage{color} +\usepackage{multicol} + +\NewFunction{\Enc}{Enc} +\NewFunction{\Dec}{Dec} +\NewFunction{\HMAC}{HMAC} + +\NewVariable{\sk}{sk} +\NewVariable{\pk}{pk} +\NewAlgorithm{\Enc}{Enc} +\NewAlgorithm{\Dec}{Dec} +\NewAlgorithm{\Sign}{Sign} +\NewAlgorithm{\Vrfy}{Vrfy} + +\addbibresource{bibliography.bib} + +\usepackage{tikz} +\usetikzlibrary{arrows} diff --git a/tilkry-overview/slides.tex b/tilkry-overview/slides.tex new file mode 100644 index 0000000..072d31d --- /dev/null +++ b/tilkry-overview/slides.tex @@ -0,0 +1,102 @@ +\documentclass[ignoreframetext]{beamer} +\input{preamble.tex} + +\usetheme{Berlin} +\setbeamertemplate{footline}%{miniframes theme} +{% + \begin{beamercolorbox}[colsep=1.5pt]{upper separation line foot} + \end{beamercolorbox} + \begin{beamercolorbox}[ht=2.5ex,dp=1.125ex,% + leftskip=.3cm,rightskip=.3cm plus1fil]{author in head/foot}% + \leavevmode{\usebeamerfont{author in head/foot}\insertshortauthor}% + \hfill% + {\usebeamerfont{institute in head/foot}\usebeamercolor[fg]{institute in head/foot}\insertshortinstitute}% + \end{beamercolorbox}% + \begin{beamercolorbox}[ht=2.5ex,dp=1.125ex,% + leftskip=.3cm,rightskip=.3cm plus1fil]{title in head/foot}% + {\usebeamerfont{title in head/foot}\insertshorttitle} \hfill \insertframenumber% + \end{beamercolorbox}% + \begin{beamercolorbox}[colsep=1.5pt]{lower separation line foot} + \end{beamercolorbox} +} +\setbeamercovered{transparent} +\setbeamertemplate{bibliography item}[text] + +\AtBeginSection[]{% + \begin{frame} + \tableofcontents[currentsection] + \end{frame} +} + +\ProvideDocumentEnvironment{assumption}{o}{% + \IfValueTF{#1}{% + \begin{block}{Assumption: #1} + }{% + \begin{block}{Assumption} + } +}{% + \end{block} +} + +\ProvideDocumentEnvironment{protocol}{o}{% + \IfValueTF{#1}{% + \begin{block}{Protocol: #1} + }{% + \begin{block}{Protocol} + } +}{% + \end{block} +} + +\ProvideDocumentEnvironment{remark}{o}{% + \IfValueTF{#1}{% + \begin{alertblock}{Note: #1} + }{% + \begin{alertblock}{Note} + } +}{% + \end{alertblock} +} + +\ProvideDocumentEnvironment{idea}{o}{% + \IfValueTF{#1}{% + \begin{block}{Idea: #1} + }{% + \begin{block}{Idea} + } +}{% + \end{block} +} + +\ProvideDocumentEnvironment{question}{o}{% + \setbeamercolor{block body}{bg=orange!15,fg=black} + \setbeamercolor{block title}{bg=orange,fg=white} + \setbeamercolor{local structure}{fg=orange} + \IfValueTF{#1}{% + \begin{block}{Question: #1} + }{% + \begin{block}{Question} + } +}{% + \end{block} +} + +\ProvideDocumentEnvironment{exercise}{o}{% + \setbeamercolor{block body}{bg=yellow!10,fg=black} + \setbeamercolor{block title}{bg=yellow,fg=black} + \setbeamercolor{local structure}{fg=yellow} + \IfValueTF{#1}{% + \begin{block}{Exercise: #1} + }{% + \begin{block}{Exercise} + } +}{% + \end{block} +} + + +\begin{document} +\mode +\input{contents.tex} +\mode* +\end{document} diff --git a/zkp-smc/Makefile b/zkp-smc/Makefile index 40cfafe..01f3a4a 100644 --- a/zkp-smc/Makefile +++ b/zkp-smc/Makefile @@ -16,6 +16,8 @@ beamer-didactic.sty: ../beamer-didactic/beamer-didactic.sty ${MAKE} -C $(dir $@) $(notdir $@) bibliography.bib: bibliography.bib(crypto.bib mpc.bib) +bibliography.bib(crypto.bib): crypto.bib +bibliography.bib(mpc.bib): mpc.bib .PHONY: all diff --git a/zkp-smc/contents.tex b/zkp-smc/contents.tex index 441231e..23d7449 100644 --- a/zkp-smc/contents.tex +++ b/zkp-smc/contents.tex @@ -282,9 +282,3 @@ \subsection{Zero-knowledge proofs of knowledge} \end{frame} -%%%%%%%%%%%%%%%%%%%%%% - -\begin{frame}[allowframebreaks] - \printbibliography{} -\end{frame} - diff --git a/zkp-smc/zkp-smc-slides.tex b/zkp-smc/zkp-smc-slides.tex index 73a95d3..83f687b 100644 --- a/zkp-smc/zkp-smc-slides.tex +++ b/zkp-smc/zkp-smc-slides.tex @@ -57,4 +57,9 @@ \end{abstract} \mode{\input{contents.tex}} + +\begin{frame}[allowframebreaks] + \printbibliography{} +\end{frame} + \end{document}