Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards Verifiable Remote Voting with Paper Assurance   We propose a protocol for verifiable remote voting with paper assurance. It
is intended to augment existing postal voting procedures, allowing a ballot to
be electronically constructed, printed on paper, then returned in the post. It
allows each voter to verify that their vote has been correctly cast, recorded
and tallied by the Electoral Commission. The system is not end-to-end
verifiable, but does allow voters to detect manipulation by an adversary who
controls either the voting device, or (the postal service and electoral
commission) but not both. The protocol is not receipt-free, but if the client
honestly follows the protocol (including possibly remembering everything), they
cannot subsequently prove how they voted. Our proposal is the first to combine
plain paper assurance with cryptographic verification in a (passively)
receipt-free manner.

25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
26
The categories of this paper are: bayes-an