CISPA
Browse
cispa_all_2938.pdf (442.42 kB)

Improving Automated Symbolic Analysis of Ballot Secrecy for E-voting Protocols: A Method Based on Sufficient Conditions

Download (442.42 kB)
conference contribution
posted on 2023-11-29, 18:11 authored by Cas CremersCas Cremers, Lucca Hirschi
We advance the state-of-the-art in automated symbolic analysis for e-voting protocols by introducing three conditions that together are sufficient to guarantee ballot secrecy. There are two main advantages to using our conditions, compared to existing automated approaches. The first is a substantial expansion of the class of protocols and threat models that can be automatically analysed: we can systematically deal with (a) honest authorities present in different phases, (b) threat models in which no dishonest voters occur, and (c) protocols whose ballot secrecy depends on fresh data coming from other phases. The second advantage is that it can significantly improve verification efficiency, as the individual conditions are often simpler to verify. E.g., for the LEE protocol, we obtain a speedup of over two orders of magnitude. We show the scope and effectiveness of our approach using ProVerif in several case studies, including FOO, LEE, JCJ, and Belenios. In these case studies, our approach does not yield any false attacks, suggesting that our conditions are tight.

History

Preferred Citation

Cas Cremers and Lucca Hirschi. Improving Automated Symbolic Analysis of Ballot Secrecy for E-voting Protocols: A Method Based on Sufficient Conditions. In: IEEE European Symposium on Security and Privacy (EuroS&P). 2019.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

IEEE European Symposium on Security and Privacy (EuroS&P)

Legacy Posted Date

2019-07-03

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_2938, title = "Improving Automated Symbolic Analysis of Ballot Secrecy for E-voting Protocols: A Method Based on Sufficient Conditions", author = "Cremers, Cas and Hirschi, Lucca", booktitle="{IEEE European Symposium on Security and Privacy (EuroS&P)}", year="2019", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC