%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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}}}