A Protocol for Cast-as-Intended Verifiability with a Second Device. (arXiv:2304.09456v1 [cs.CR])

Numerous institutions, such as companies, universities, or non-governmental
organizations, employ Internet voting for remote elections. Since the main
purpose of an election is to determine the voters' will, it is fundamentally
important to ensure that the final election result correctly reflects the
voters' votes. To this end, modern secure Internet voting schemes aim for what
is called end-to-end verifiability. This fundamental security property ensures
that the correctness of the final result can be verified, even if some of the
computers …

aim called companies computers correctness device election elections end end-to-end important institutions internet main non organizations protocol result security standard universities verified voters voting what is