C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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