[Developpez.com] DARPA développe une machine à voter open source avec Galois

Depuis des années, des professionnels de la sécurité et des militants pour l’intégrité électorale ont poussé les vendeurs de machines à voter à mettre en place des systèmes électoraux plus sûrs et transparents, afin que les électeurs et les candidats puissent être assurés que les résultats des élections n’ont pas été manipulés.