Mukesh Tiwari is a Research Fellow at the University of Melbourne and working in formally verified information flow security with Toby Murray. His research focuses on building highly secure system using mathematical rigorous techniques, such as formal verification.
Before joining the University of Melbourne in 10 February, 2020, he was a PhD student at the Australian National University, Canberra (2016 - 2019) and worked in formal verification of electronic voting under the supervision of Dirk Pattinson.
In his PhD, he addressed the three main concerns of electronic voting: i) correctness (of vote-counting software program), ii) privacy (of ballot), and iii) verifiability (of declared result). He addressed the correctness concern by implementing and proving the vote-counting software program in Coq theorem prover, privacy concern by using homomorphic encryption to compute the final tally without decryption any individual ballot, and verifiability concern by producing independently checkable scrutiny sheet augmented with zero-knowledge-proofs for various claims. He received his Bachelor of Technology and Master of Technology from Indian Institute of Information Technology and Management, Gwalior, India in 2009. After graduating from Indian Institute of Information Technology and Management in 2009, he worked for Govt. of India (2009 - 2011), Parallel-Scientific (2011 - 2013), a US based startup specialized in scientific computing, and International Institute of Information Technology, Bhubaneswar, India.
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)
Honours, Awards and Fellowships
I was awareded travel scholorship to attend Marktoberdorf Summer School 2019 (unfortunately, I could not attend it because of the visa issue)
I was awared full scholorship to attend DeepSpec Summer School 2018 held at Priceton University.
Australian National University International PhD scholarship
Australian National University fee remission merit scholarships to International students.
Research Fellow In Verified Confidentiality
Computing And Information Systems
Doctor of Philosophy in Computer Science
Australian National University
Indian Institute of Information Technology and Management, Gwalior