TY  - RPRT
TI  - Existential Assertions for Voting Protocols
AU  - R. Ramanujam
AU  - Vaishnavi Sundararajan
AU  - S. P. Suresh
PY  - 2017
UR  - https://arxiv.org/abs/1702.05000
ID  - 1702.05000
ER  -