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.

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

Credentials

Positions

Research Fellow In Verified Confidentiality

Computing And Information Systems

Links