[E-voting] Open source voting system

Joseph Kiniry kiniry at demtech.dk
Tue Apr 2 11:13:16 IST 2013


Hi Margaret et al.,

Within the DemTech project we are archiving a snapshot of every public evoting software system ever produced that we can obtain a copy of.  They will appear in a git repo within our GitHub Organization in the coming weeks as they are migrated from our old SVN repo at ITU.  https://github.com/organizations/demtech

We have been doing correctness and security evaluations of some of them over the past year.  Such lightweight, open certification-like analysis includes an evaluation of software engineering practices, theoretical foundations (including crypto), conformance with international best practices and recommendations (e.g., those of NIST and the EC).  We have evaluated the Norwegian evoting system and Scantegrity II thus far.  Both have problems.

We are also doing development on several old and some new computer-based elections systems including a digital voter list system (covering the first third of the election, including voter processing, ballot and voter card printing, and election day voter list management), several tally systems (our old systems for the Netherlands, Ireland, and our new one for Denmark), and now, just started recently, our V4 system  (which is a formally verified, voter-verifiable, verified election scheme VVPAT system that we are aiming at costing under $50).  

All of these system will also soon be found on GitHub.  All of this development is following our Trust-by-Design software development method, which is an evolution of the formal methods-based open source development process we used in the Netherlands and Ireland, which some of you are aware of.

What we are *not* yet developing, but what Municipalities *are* interested in here in Denmark, is an optical scan system.  We'd be happy to coordinate on such as well, especially if others are interested in pursuing a rigorous approach to the development of such a system.

More information on our research and development and the political state of affairs in Denmark is available on our project website: http://www.demtech.dk/  The short version of the national news is found here: http://www.demtech.dk/wiki/RunningRecord

Best,
Joe
---
Prof. Joseph Kiniry
DemTech: Trustworthy Democratic Technology - http://www.demtech.dk/

On 23 Mar, 2013, at 13:00, e-voting-request at lists.stdlib.net wrote:

> ----------------------------------------------------------------------
> 
> Message: 1
> Date: Fri, 22 Mar 2013 15:17:31 +0000
> From: John Bernard Lambe <icte-jlambe at jlambe.com>
> Subject: Re: [E-voting] Open source voting system
> To: e-voting at lists.stdlib.net
> Message-ID:
> 	<CAOPaXv1ccMS=+uO3QFsNLBT80_26GqMUCpdVN=PDw+imgy4uaw at mail.gmail.com>
> Content-Type: text/plain; charset="iso-8859-1"
> 
> Hi Margaret,
> 
> I'm a software developer using mainly Java, C# and Borland Delphi (and a
> little C++, currently only for AVR microcontrollers; sometimes Pascal for
> DOS; I've used C but not for a long time; I've used a few versions of
> BASIC, mainly BBC BASIC).
> 
> I'd be interested doing some development and software design work on the
> system, though I don't know how much time I'll have for it.
> 
> I can also provide web hosting (including Wiki, discussion forum,
> Subversion (source control), issue tracking software hosting if required).
> 
> 
> How likely do you think it is that a country would use such an open source
> system?
> 
> 
> Below is a very unfinished initial list of questions/comments:
> 
> 
> Some initial questions:
> - Are you thinking of a system that scans ballots at polling stations, as
> voters vote, or at a central location?
> (The former provides greater security against tampering. Are there
> suitable scanners readily available?)
> - Would it support ranked voting systems (PR-STV, De Borda, etc.)?
> - If so, do we want to be able to read handwriting, or would we use
> something like a lotto ticket (if there were 14 candidates, each one would
> 14 boxes, and the voter would tick one to indicate their ranking)?
> 
> 
> Some decisions to be made:
> Features of the system
> Technical
>   Software
>   - Programming languages to be used in development.
>   - Operating Systems to be supported.
> - Whether the management and counting software is web or desktop based.
>   - Database Server/Software (if any).
>       Preferably one with a compatible open source licence?
>   - Software interface to the scanners (Twain / WIA).
>   Hardware
>   - Supported/recommended hardware platform; Minimum requirements.
>   - Supported/recommended scanners. (I've seen problems with buggy Twain
> drivers in my work).
> Legal
> - What licence it will use.
> Management
> - Development procedures.
>     e.g. How do we ensure security and quality of the codebase? Maybe a
> policy that all source code commits are peer-reviewed.
>   Technical
>   - Third party code (libraries) used, and policy on allowed licences.
>   - Hosting of the codebase, and source control system (Sourceforge?;
> Google Code?; Private?).
>   - Other development and online collaboration tools. (e.g. Wiki).
>   - Coding convention.
> Marketing
> - Name of the system.
> - Web site hosting and domain.
> - Publicity / advertising.
> 
> Have you decided any of these already?
> I'll post my ideas on them later, and I'm interested in everyone else's.
> There are some important tradeoffs involved in some of them.
> 
> 
> There was a mailling list, free-prstv, for writing an open source
> implementation of PR-STV, which hasn't had any mails receently.
> (I'll get the address later).
> There might be someone on it who might join this project, if we are going
> to support PR-STV.
> 
> Regards,
> 
> John Lambe
> --------------------------
> Phone: +353-86-2895286
> 25 Cashel Road, Crumlin, Dublin 12, Ireland.
> 
> 
> On 22 March 2013 12:00, <e-voting-request at lists.stdlib.net> wrote:
> 
>> Send E-voting mailing list submissions to
>>       e-voting at lists.stdlib.net
>> 
>> To subscribe or unsubscribe via the World Wide Web, visit
>>       http://lists.stdlib.net/mailman/listinfo/e-voting
>> or, via email, send a message with subject or body 'help' to
>>       e-voting-request at lists.stdlib.net
>> 
>> You can reach the person managing the list at
>>       e-voting-owner at lists.stdlib.net
>> 
>> When replying, please edit your Subject line so it is more specific
>> than "Re: Contents of E-voting digest..."
>> 
>> 
>> Today's Topics:
>> 
>>  1. Open source voting system (Margaret McGaley)
>> 
>> 
>> ----------------------------------------------------------------------
>> 
>> Message: 1
>> Date: Thu, 21 Mar 2013 17:38:59 +0000
>> From: Margaret McGaley <mmcgaley at gmail.com>
>> Subject: [E-voting] Open source voting system
>> To: Irish Citizens for Trustworthy Evoting <e-voting at lists.stdlib.net>
>> Message-ID:
>>       <CAJFWMQPt0W7JXMHoBc5D6YgSvQ_Jc=
>> UUvoc+61rdSWbh8z9upg at mail.gmail.com>
>> Content-Type: text/plain; charset=ISO-8859-1
>> 
>> Hello everyone,
>> 
>> It almost ten years (!) since I sent the original email that started
>> this list. Hopefully the fact that there has been zero traffic here
>> for a while means there are still some people who haven't bothered
>> unsubscribing :)
>> 
>> I'm in the very early stages of trying to set up a project to develop
>> a Free and Open Source optical scan voting system. If you have any
>> interest in getting involved (in whatever capacity), please contact me
>> either on-list or directly. For those of you interested in my reasons,
>> here's a brief explanation:
>> 
>> I was recently invited to speak at a seminar on e-voting in South
>> Africa to give the Irish case study. One of the themes that emerged
>> from the event was that vendors often have too much power, and too
>> little interest in democratic concerns. They charge exorbitant fees
>> for an inadequate product and service. I feel that it is possible to
>> produce a well-specified, reliable optical scan system which has the
>> potential to provide some benefits in some democracies.
>> 
>> I'd love to hear any comments or questions you might have,
>> And thanks again for your contribution to the demise of the
>> Nedap/Powervote system in Ireland,
>> Margaret
>> 
>> 
>> 
>> ------------------------------
>> 
>> _______________________________________________
>> E-voting mailing list
>> E-voting at lists.stdlib.net
>> http://lists.stdlib.net/mailman/listinfo/e-voting
>> 
>> 
>> End of E-voting Digest, Vol 83, Issue 1
>> ***************************************
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: http://lists.stdlib.net/pipermail/e-voting/attachments/20130322/0430fcca/attachment.html 
> 
> ------------------------------
> 
> Message: 2
> Date: Fri, 22 Mar 2013 18:17:51 +0000
> From: "J.Pelan (Gatsby)" <J.Pelan at gatsby.ucl.ac.uk>
> Subject: Re: [E-voting] Open source voting system
> To: Margaret McGaley <mmcgaley at gmail.com>, Irish Citizens for
> 	Trustworthy	Evoting <e-voting at lists.stdlib.net>
> Message-ID:
> 	<A553A700156C5444B1A4BCD87C9181751E0225B3 at AMSPRD0111MB500.eurprd01.prod.exchangelabs.com>
> 	
> Content-Type: text/plain; charset="us-ascii"
> 
> Hi Margaret,
> 
>> I'm in the very early stages of trying to set up a project to develop
>> a Free and Open Source optical scan voting system. If you have any
>> interest in getting involved (in whatever capacity), please contact me
>> either on-list or directly. 
> 
> We discussed this concept on the list many moons ago.
> 
> Have you seen TEVS ?
> 
> http://code.google.com/p/tevs/
> http://www.tevsystems.com/
> 
> All the best,
> 
> --
> John P.
> 
> 
> 
> ------------------------------
> 
> _______________________________________________
> E-voting mailing list
> E-voting at lists.stdlib.net
> http://lists.stdlib.net/mailman/listinfo/e-voting
> 
> 
> End of E-voting Digest, Vol 83, Issue 2
> ***************************************





More information about the E-voting mailing list