Mr. Mukesh Tiwari
Research Fellow In Verified Confidentiality
Computing and Information Systems
5 Scholarly works
0 Projects
HIGHLIGHTS
2020
Conference Proceedings
Verifiable homomorphic tallying for the schulze vote counting scheme
DOI: 10.1007/978-3-030-41600-3_42019
Conference Proceedings
Verified verifiers for verifying elections
DOI: 10.1145/3319535.33542472018
Conference Proceedings
Modular Formalisation and Verification of STV Algorithms
DOI: 10.1007/978-3-030-00419-4_42017
Conference Proceedings
Schulze Voting as Evidence Carrying Computation
DOI: 10.1007/978-3-319-66107-0_262017
Conference Proceedings
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes
DOI: 10.1007/978-3-319-68687-5_5