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.

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