OpenSecEd · dbosk · Feb 4, 2020 · Feb 4, 2020 · Feb 4, 2020 · Feb 4, 2020
diff --git 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
@@ -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
@@ -57,4 +57,8 @@
 \end{abstract}
 
 \mode<all>{\input{contents.tex}}
+
+\begin{frame}[allowframebreaks]
+  \printbibliography
+\end{frame}
 \end{document}
diff --git 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
@@ -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
@@ -57,4 +57,9 @@
 \end{abstract}
 
 \mode<all>{\input{contents.tex}}
+
+\begin{frame}[allowframebreaks]
+  \printbibliography
+\end{frame}
+
 \end{document}
diff --git a/tilkry-overview/.gitignore 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
@@ -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
@@ -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
@@ -0,0 +1,37 @@
+\title{%
+  Hash functions, public-key crypto and zero-knowledge
+}
+\author{Daniel Bosk}
+\institute{%
+  KTH EECS and
+  MIUN IST
+}
+
+\mode<article>{\maketitle}
+\mode<presentation>{%
+  \begin{frame}
+    \maketitle
+  \end{frame}
+}
+
+\mode*
+
+\begin{abstract}
+  \input{abstract.tex}
+\end{abstract}
+
+\begin{frame}
+  \tableofcontents
+\end{frame}
+
+
+\mode<all>{\input{one-way.tex}}
+\mode<all>{\input{pub-key.tex}}
+\mode<all>{\input{zkp-smc.tex}}
+
+
+%%% REFERENCES %%%
+
+\begin{frame}[allowframebreaks]
+  \printbibliography
+\end{frame}
diff --git a/tilkry-overview/preamble.tex 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
@@ -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}<beamer>
+    \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<all>
+\input{contents.tex}
+\mode*
+\end{document}
diff --git 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