Civitas: A Secure Remote Voting System - Cornell University

Civitas: A Secure Remote Voting System - Cornell University

Electro nic Voting Prof. Clarkson CS 2110 Spring 2019

Announcement s A7 is due Friday night. Download your

submission and double check against pinned A7 note. BIG deduction if it doesnt compile. No late submission accepted because we have to grade and then develop tentative grades for you.

Course evaluations small part of final grade; due Saturday midnight to be included in your tentative course grade.

Tentative course grades out as soon as we can. Sunday evening at the earliest but could be later. Emailing/posting when or how am I doing isnt helpful.

CMS contains weights for all parts of the course. They add up to 93 because the course evaluations 2

Piazza Poll Secret Ballot Florida 2000:

Bush v. Gore Flawless 14

Security FAIL Analysis of an electronic voting system [Kohno et al. 2003, 2004]

DRE trusts smartcards Hardcoded keys and initialization

vectors Weak message integrity Cryptographically insecure random number generator ...

California top-to-bottom reviews [Bishop, Wagner, et al. 2007]

Virtually every important software security mechanism is vulnerable to circumvention. An attacker could subvert a single polling place device...then reprogram every polling place device in the county.

We could not find a single instance of correctly used cryptography that successfully accomplished the security purposes for which it was apparently intended. Why is this so

hard? CONFIDENTIALITY INTEGRITY

19 Achieving Confidentiality When is Vote

Anonymized? Before submission After submission Blind Signatures

[Chaum 1983] When is Vote Anonymized?

Before submission After submission Before tallying Mix Networks

[Chaum 1981] When is Vote Anonymized?

Before submission After submission Before tallying During tallyin

Homomorphic Encryption GG G

G (f,f ) f

HH H H [Rivest, Adleman, Dertouzos 1978]

enc(v) enc(v) = enc(v+v) Civitas http://www.cs.cornell.edu/projects/civitas/

[Clarkson, Chong & Myers 2008] based on [Juels, Catalano & Jakobsson 2005] Implementation: 21k LoC in Java and Jif 11 years later

What can you do?

Recently Viewed Presentations

  • 2.03 - Quia

    2.03 - Quia

    There are many reasons why fans attend sporting events, and a primary factor is the entertainment value. Competitive events such as football games excite fans because they don't know the outcome until the game is over, which adds to the...
  • Title

    Title

    Compiling protocols from Humana's successful book series Methods in Molecular Biology, Methods in Molecular Medicine, Methods in Biotechnology, Methods in Pharmacology and Toxicology, and . Neuromethods, as well as from a vast number of Laboratory Handbooks, such as . The...
  • Attention-focusing questions Have you seen? Do you notice?

    Attention-focusing questions Have you seen? Do you notice?

    The 5 E's is an instructional model based on the . constructivist approach to learning, which says that learners build or construct new ideas on top of their old ideas. The 5 E's can be used with students of all...
  • Agenda - fin.unsw.edu.au

    Agenda - fin.unsw.edu.au

    UNSW is registered for GST so needs to charge GST. If charity is registered for GST they can claim credit for GST charged with a valid Tax Invoice Provided we have a Tax Invoice can claim a credit for GST...
  • Navy Career Tools Afloat

    Navy Career Tools Afloat

    For information helping you correct your OMPF, go to the NPC website and follow this path: Hover over Career Info. Click Records Management > Military Personnel Records > Document Correction.
  • Headline Verdana Bold - Department of Education and Training

    Headline Verdana Bold - Department of Education and Training

    Participation, training outcomes and patterns in the Victorian pre-accredited sector: Final Report (Oct 2017) Background, structure and approach Deloitte Access Economics has been engaged by the Department of Education and Training (the Department) to explore the pathways for learners in...
  • Math for APES Calculations Without Calculators Pamela J.

    Math for APES Calculations Without Calculators Pamela J.

    Math for APES Calculations Without Calculators Pamela J. Shlachtman and Kathryn Weatherhead NSTA Boston 2008 The Problem: How do we help our students achieve success on AP Environmental Science Exams when they cannot use calculators?
  • Basic Macro Relationships Income, Consumption & Savings  Income

    Basic Macro Relationships Income, Consumption & Savings Income

    MPC + MPS = 1. APS Around the Globe. Consumption Schedule andSavings Schedule. The relationship between disposable income and consumption as well as disposable income and savings (or dissavings) can also been seen via Consumption and Savings Schedules.