An important goal in designing secure Internet voting systems is preventing vote manipulations either by a malicious voting device or a malicious voting system component. For preventing such manipulations, the academic community introduced the concept of end-to-end verifiability. End-to-end verifiability offers mechanisms for the voter to verify whether a vote was cast-as-intended, recorded-as-cast and tallied-as-recorded. The usability of such mechanisms, however, is crucial in ensuring that the voters actually perform the verification procedures required of them correctly.
Prof. Melanie Volkamer, CYSEC [at] TU Darmstadt, is the leader of the project which runs for two years and is funded by a scholarship of the Horst Görtz Foundation.

More information about SECUSO