###### tags: `Reading sessions` [TOC] --- # PETS 2024 https://petsymposium.org/2024/program.php ## [**DeVoS: Deniable Yet Verifiable Vote Updating**]([url](https://www.google.com/url?sa=t&source=web&rct=j&opi=89978449&url=https://petsymposium.org/popets/2024/popets-2024-0021.pdf&ved=2ahUKEwjWj-PToouIAxW1YEEAHRpvNbYQFnoECBQQAQ&usg=AOvVaw0g2tbnKRLH8DqBRuP2oIZD)) * By Johannes Müller, Balázs Pejó, Ivan Pryvalov * [LH] The paper proposes a new publicly verifiable e-voting protocol for Internet voting. The main properties are that it preserves participation privacy and deniable vote updating. The protocol is described in the context of homomorphic encryption or verifiable shuffles. The main novelty is the addition of dummy ballots onto the bulletin board which are periodically either replaced by the voter or re-encrypted by an authority, so a coercer cannot check to see if a voter decided to change their vote. * DeVoS is also proven to maintain everlasting privacy through integration with the PPAT voting protocol. A proof of concept implementation is demonstrated to handle 10,000 dummy votes per second for a 3-candidate election. The paper also contains proofs of verifiability, however it does not follow E2E verifiability.