TY  - RPRT
TI  - Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy
AU  - Cas Cremers
AU  - Lucca Hirschi
PY  - 2019
UR  - https://arxiv.org/abs/1709.00194
ID  - 1709.00194
ER  -