I am a Research Fellow at the University of Melbourne and working in information flow security with Toby Murray. Before joining the university of Melbourne, I was a PhD student at the Australian National University, Canberra.
During my PhD, I worked in formal verification of electronic voting, Schulze method, under the supervision of Dirk Pattinson.
Find out more about Mukesh Tiwari's experience
Mukesh Tiwari's highlights
Mukesh Tiwari's selected work
Displaying the 5 most recent scholarly works by Mukesh Tiwari.
Verified verifiers for verifying elections
T Haines, R Goré, M Tiwari
Conference Proceedings | 2019 | Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
The security and trustworthiness of elections is critical to democracy; alas, securing elections is notoriously hard. Powerful cry..
No more excuses: Automated synthesis of practical and verifiable vote-counting programs for complex voting schemes
L Bennett Moses, R Goré, R Levy, D Pattinson, M Tiwari
Conference Proceedings | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)