Mukesh Tiwari
Title
Cited by
Cited by
Year
Schulze voting as evidence carrying computation
D Pattinson, M Tiwari
International Conference on Interactive Theorem Proving, 410-426, 2017
72017
Modular formalisation and verification of STV algorithms
MK Ghale, R Goré, D Pattinson, M Tiwari
International Joint Conference on Electronic Voting, 51-66, 2018
32018
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes
LB Moses, R Goré, R Levy, D Pattinson, M Tiwari
International Joint Conference on Electronic Voting, 66-83, 2017
22017
Verified Verifiers for Verifying Elections
T Haines, R Goré, M Tiwari
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
2019
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme
T Haines, D Pattinson, M Tiwari
Working Conference on Verified Software: Theories, Tools, and Experiments, 36-53, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–5