Describir: Building Secure Elections: E-Voting, Security, and Systems Theory.