Bust a Shuffle! A Formal Privacy Analysis of Voting Protocols with Multi-Server Mix Nets
Alexandre Debant, Robert Künnemann, Johannes Müller
2026年份
摘要
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.
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper,每个回答都会注明依据哪几篇。
相关 Paper
- Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-NetsJannik Dreier, Pascal Lafourcade, Dhekra MahmoudUSENIX Security 2024 · 被引用 2 次
- 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 次
- Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based AssumptionsDiego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand SildeCCS 2023 · 被引用 20 次
- Multilayer Defense for Syscall Flooding Attacks on Audit Collection SystemsSagar Mishra, Soundarya Venkatesh, R. SekarCCS 2026
