profile icon
Mr

Mukesh Tiwari

Research Fellow In Verified Confidentiality
computer science, theory & methods
science & technology
computer science
technology
computer science, information systems
interactive theorem provers
verifiable e-voting
telecommunications
code extraction
Mukesh Tiwari's Profile Picture
Mr

Mukesh Tiwari

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

Mukesh Tiwari

 

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.

Scholarly Works

Displaying the 5 most recent scholarly works by Mukesh Tiwari.

5

Scholarly Works

Credentials

Positions


Research Fellow In Verified Confidentiality

Computing And Information Systems