Puiggalí Allepuz, JordiGuasch Castelló, SandraKrimmer, RobertGrimm, Rüdiger2019-01-172019-01-172010978-3-88579-261-1https://dl.gi.de/handle/20.500.12116/19496Implementing a transparent audit process when an election is conducted by electronic means is of paramount importance. Universally verifiable mixnets are focused on providing such a property by means of cryptographic proofs verifiable by any auditor. While some of these systems require high amount of computing resources that make them inefficient for real elections, others proposals reduce the computation cost by sacrificing audit accuracy or reducing the voter privacy protection level. In this paper, we propose an efficient mixnet verification system that combines the advantages of the RPC and Optimistic Mixing techniques, achieving a high audit accuracy level while fully preserving voters' privacy.enText/Conference Paper1617-5468