Civitas: Toward a Secure Voting System

Abstract

Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and implementation of Civitas. Assurance is established in the design through security proofs, and in the implementation through information-flow security analysis. Experimental results give a quantitative evaluation of the tradeoffs between time, cost, and security.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 2008
Accession Number
AD1000322

Entities

People

  • Michael R. Clarkson

Organizations

  • Cornell University

Tags

Communities of Interest

  • Cyber
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Asymetric Encryption
  • Authentication
  • Coding
  • Computations
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Cryptography
  • Denial Of Service Attack
  • Fault Tolerance
  • Governments
  • Operating Systems
  • Security Protocols
  • Standards
  • Verification

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Aerial Delivery - Logistics and Supply Chain Management.
  • Cybersecurity.
  • Software Engineering

Technology Areas

  • Microelectronics