main.tex

% !TEX TS-program = pdflatex
% !TEX encoding = UTF-8 Unicode

% Based on Pomona's template here:
% http://www.cs.pomona.edu/classes/senior-exercise/2011/
% also based on Yale's papers repository makefile setup

% \documentclass[draftcopy,short,nolof,nolot]{srpaper}
\documentclass[finalcopy,nolof,nolot]{srpaper}
% \usepackage[colorinlistoftodos, color=blue!20]{todonotes}
\usepackage[disable]{todonotes}
\usepackage[pdftex,pdfusetitle]{hyperref}
\usepackage{setspace}
\usepackage{multirow}
\usepackage{tabularx}
\usepackage{adjustbox}
\usepackage{amsthm}
\usepackage{amsfonts}
\setlength{\marginparwidth}{2.5cm}

\input macros.tex

\setcounter{tocdepth}{2}

% theorem environments
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}

\title{Decentralized Group Management in Dissent}
\author{Eleanor Cawthon}
\date{Spring, 2015}
\advisor{Professors Bryan Ford and Tzu-Yi Chen, advisors}
\abstract{
Among both humans and computers, decentralized approaches to group
decision-making exhibit trade-offs between decentralization and scalability.

We provide two contributions: First, we outline a general specification for
petition protocols providing instigator anonymity. Next, we sketch how this can
be applied to provide bootstrapping and group management for the Dissent
anonymity protocol.

% \todogrunt{finish rewriting}

% TODO: Make this the intro for the protocol section.
We first present an overview of existing work on collective decisionmaking under
various trust addumptions. We go on to present a protocol for egalitarian
groups to determine their leadership in a fashion that is anonymous, verifiable,
and fully decentralized.  By combining the Dissent protocol for anonymous
communication with decentralized trust\cite{p2pd}, with a simple voting protocol
utilizing linkable ring signatures\cite{lrs}, we show how a group might attain
verifiable and anonymous elections with Byzantine trust assumptions, secure
against a global passive adversary.  As a specific example, we show how this
might be used as a server selection and group management mechanism in scalable
Dissent \cite{din}, so that the scalable protocol is used most of the time, but
where the peer-to-peer consensus can always rescind the power it has delegated.

}
\acknowledgment{Thank you to Alessandro Chiesa for help with improving the
formalism, an endeavor that will be completed in future work. Additional thanks
to Shelly DeVries for reading an early draft. Finally, thank you to the numerous
low-wage workers involved in manufacturing the equipment I used, maintaining the
spaces where I worked, and preparing the food I ate. In particular, thank you to
the Pomona College dining hall workers, whose unionization campaign provided the
inspiration for the motivating example in the introduction.}

% hyperref setup, from template
\hypersetup{
           plainpages=false,
           pageanchor=true,
           breaklinks=true,
           bookmarkstype=toc,
           bookmarksopenlevel=2,
           bookmarksnumbered=true,
           colorlinks=true,
           linkcolor=black,
           urlcolor=magenta,
           citecolor=black
         }

\begin{document}
\frontmatter

\chapter{Introduction}\label{Chapter:Intro}
\input intro.tex

\chapter{Related Work}\label{Chapter:Existing}
\input litreview.tex

\chapter{Goals}\label{Chapter:Goals}
\input goals.tex

\chapter{Formal Specification}\label{Chapter:Spec}
\input spec.tex

\chapter{Protocol Description}\label{Chapter:Protocol}
\input protocol.tex

\chapter{Conclusion}\label{Chapter:Conclusion}
\input conclusion.tex

\listoftodos

% \chapter{Annotated Bibliography}\annotatedbibliography{annotated}
% \bibliographystyle{alpha}
\bibliography{annotated}
\appendix
  \chapter{Use Case: Resilient Dissent in Numbers}\label{Appendix:Dissent}
  \input dissent.tex
% \chapter{Why Intermediate Vote Counts Can't Be
% Secret}\label{Appendix:SecretProof}
% \input secret.tex

\end{document}