To date, verifiability of electronic voting systems has been greatly improved and new protocols have been used successfully in many electoral processes.
In this regard, a research group from the Newcastle University (USENIX Journal of Election Technology and Systems, Volume 2, Number 4, 2014), developed a new end-to-end verifiable protocol designed for direct recording electronic (DRE) voting systems and large-scale elections.
End-to-end verifiable allows voters to ensure themselves that their cast ballots are recorded and transmitted correctly. Moreover, everyone, including third party observers, is able to verify that each encrypted ballot represents exactly one vote and that the tallying result is correctly obtained from the recorded ballots.
The new protocol, called Direct Recording Electronic with integrity (DRE-i), minimizes the dependence on technicians and authorities to administer the tallying process.
Each DRE-i machine directly records votes, just as other DRE systems, but in addition must publish audit data to allow public verification of the tally.
To improve system reliability, a fail-safe mechanism to allow recovery from the effect of missing or corrupted ballots in a publicly verifiable and privacy-preserving manner was also developed.
DRE-i showed a significant improvement on security, efficiency and usability compared with previous related voting schemes.
Source: https://www.usenix.org/system/files/jets/issues/0203/overview/jets-0203-hao.pdf