Bust a Shuffle! A Formal Privacy Analysis of Voting Protocols with Multi-Server Mix Nets
Alexandre Debant, Robert Künnemann, Johannes Müller
2026Year
Abstract
This repository contains the the artifacts used in the evaluation of that paper "Bust a Shuffle! A Formal Privacy Analysis of Voting Protocols with Multi-Server Mix Nets". It contains the full version of paper, the model files and a README.md that explains what is what.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Related papers
- Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-NetsJannik Dreier, Pascal Lafourcade, Dhekra MahmoudUSENIX Security 2024 · 2 citations
- Beyond Anonymity Sets: A Security Model for Distributed Shuffling in Adversarial EnvironmentsAdrian Cinal, Oliwer Sobolewski, Gabriel Wechta, Filip ZagórskiCCS 2026
- Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic VotingThomas Haines, Rajeev Goré, Bhavesh SharmaS&P 2021 · 14 citations
- Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based AssumptionsDiego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand SildeCCS 2023 · 20 citations
- Multilayer Defense for Syscall Flooding Attacks on Audit Collection SystemsSagar Mishra, Soundarya Venkatesh, R. SekarCCS 2026
