profile icon
Mr

Mukesh Tiwari

Research Fellow In Verified Confidentiality
Computing And Information Systems
science & technology
technology
computer science
computer science, theory & methods
physical sciences
mathematics
computer science, information systems
interactive theorem provers
code extraction
Mukesh Tiwari's Profile Picture
Mr

Mukesh Tiwari

 
Division
Engineering
 
Primary Interest
Electronic Voting
Mukesh Tiwari's Profile Picture
Mr

Mukesh Tiwari

 

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.

Scholarly Works

Displaying the 5 most recent scholarly works by Mukesh Tiwari.

Scholarly works icon

Verifiable homomorphic tallying for the schulze vote counting scheme

T Haines, D Pattinson, M Tiwari

Conference Proceedings  |  2020  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Scholarly works icon

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..

Scholarly works icon

Modular Formalisation and Verification of STV Algorithms

Milad K Ghale, Rajeev Gore, Dirk Pattinson, Mukesh Tiwari

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Scholarly works icon

Schulze Voting as Evidence Carrying Computation

Dirk Pattinson, Mukesh Tiwari

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Scholarly works icon

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)

5

Scholarly Works

Honours, Awards and Fellowships

2019

I was awareded travel scholorship to attend Marktoberdorf Summer School 2019 (unfortunately, I could not attend it because of the visa issue)

Technical University of Munich (TUM)
2018

I was awared full scholorship to attend DeepSpec Summer School 2018 held at Priceton University.

Princeton University
2016

Australian National University International PhD scholarship

ANU PhD Scholarship (International)
2016

Australian National University fee remission merit scholarships to International students.

HDR Fee Remission Merit Scholarship

4

Awards

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

Links