1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Packages %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage[
lambda, advantage, operators, sets, adversary, landau, probability, notions,
logic, ff, mm, primitives, events, complexity, asymptotics, keys
]{cryptocode}
\usepackage{graphicx}
\usepackage{mathtools}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{flowchart}
\usepackage{pifont}
\usepackage{graphicx}
\usepackage{color}
\usepackage{tikz}
\usepackage{tikz-qtree}
\usetikzlibrary{
shapes.misc,%
positioning,%
arrows,%
snakes,%
calc,%
shadows,%
shapes.arrows,%
fit,%
backgrounds,%
}
\usepackage{booktabs}
\usepackage{smartdiagram}
%\usepackage[position=bottom]{subfig} % environment for nested figures
\usepackage{xcolor}
\definecolor{darkGreen}{HTML}{008000}
\definecolor{darkBlue}{HTML}{2809B2}
\definecolor{darkRed}{HTML}{CC0000}
\definecolor{darkGray}{HTML}{808080}
\definecolor{darkOrange}{HTML}{D77D00}
\definecolor{darkPurple}{HTML}{800080}
\colorlet{lightGray}{gray!33}
\colorlet{lightYellow}{yellow!50}
\definecolor{darkGreen}{HTML}{008000}
\definecolor{darkBlue}{HTML}{2809B2}
\definecolor{darkRed}{HTML}{CC0000}
% Figures, tables and code
\usepackage{booktabs}
\usepackage{colortbl}
\usepackage{flowchart}
\usepackage{adjustbox}
\usepackage{listings}
%\setbeamertemplate{itemize item}[circle]
%\setbeamertemplate{itemize subitem}[default]
%\setbeamertemplate{caption}[numbered]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Defines %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\tyes}{\textcolor{darkGreen}{\ding{51}}}
\newcommand{\tno}{\textcolor{darkRed}{\ding{55}}}
|
