Find out more about Mukesh Tiwari's experience
Mukesh Tiwari's highlights
FEATURED Conference Proceedings
Verifiable homomorphic tallying for the schulze vote counting scheme
Read moreMukesh Tiwari's selected work
Verified verifiers for verifying elections
Conference Proceedings
Modular Formalisation and Verification of STV Algorithms
Conference Proceedings
Schulze Voting as Evidence Carrying Computation
Conference Proceedings
No more excuses: Automated synthesis of practical and verifiable vote-counting programs fo..
Conference Proceedings
Mukesh Tiwari's selected work
Scholarly Works
Displaying the 5 most recent scholarly works by Mukesh Tiwari.
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.
Credentials
Positions
Research Fellow In Verified Confidentiality
Computing and Information Systems
Education
Doctor of Philosophy in Computer Science
Australian National University
Integrated-Post-Graduate
Indian Institute of Information Technology and Management, Gwalior