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.