TODO list for Votail

This is a list of the major tasks that remain to be completed towards creating an Open Source, fully formally verified, portable electronic/remote/internet voting platform for research and experimentation in computer-based voting.

  • Identify the relatively small number of concrete security properties present in an electronic voting system and formally specify them, at a high-level, in a domain specific language.
  • Provide a methodology, both theoretical and practical, for translating such high-level specifications into concrete, low-level specifications and type-annotations.
  • Full functional specification and verification of critical subsystems of the Votail system.
  • Add to the system examples of some of the various voting systems from the United States of America.