Login / Signup
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes.
Lyria Bennett Moses
Rajeev Goré
Ron Levy
Dirk Pattinson
Mukesh Tiwari
Published in:
E-VOTE-ID (2017)
Keyphrases
</>
voting schemes
voting scheme
functional programs
data sets
high dimensional