… vote was properly cast and recorded into this tally. We define this principle as ballot casting
assurance and argue that it, too, fills an auditability gap left by the secret ballot. Interestingly, …

… , they require voters to do more than what is required to cast a vote in a traditional system –
in … Another approach to ballot casting assurance is to audit sample ballots which are not cast. …

… ballot, whilst ensuring privacy, is a challenging aspect of voting system design. This assurance
property is known as cast-as… A consequence of this observation is that ballot assurance is …

… ballot receipts from the recording device (scanner in the polling station, which digitised the
ballot … , is our electronic “ballot box”; 2) the storage of the electronic ballot receipts in the WBB. …

… The complexity of US elections usually requires computers to count ballots—but computers
… paper ballots can be recounted by hand. However, paper ballots provide no assurance …

… This traffic now dominates our bandwidth calculations; 200 ballots per hour result in up to
20,000 cast-ballot messages per hour, or about 6 per second, which is about 50 megabits and …

… assume that the number of ballots cast in all in each con… assurance that the audit trail is
trustworthy—sufficiently accurate to reflect the outcome according to how voters cast their ballots…

… Using their own device, the voter generates a ballot, prints it, and returns it by post. This …
for voters to construct and cast their ballots. The approach offers immediate plaintext cast-as-…

… casting the ballot, we would check the graph of transitions among pages to see that the
voter must proceed through review pages before arriving at any page that can cast the ballot. …

… , since we can examine prior cast ballots on a precinct-by-precinct basis. While we cannot
connect prior cast ballots with the exact time they were cast-the cast ballots should have been …