profile icon
Mr

Mukesh Tiwari

Research Fellow In Verified Confidentiality
Computing and Information Systems
computer science
science & technology
computer science, theory & methods
technology
mathematics
physical sciences
verifiable e-voting
telecommunications
interactive theorem provers
Mukesh Tiwari's Profile Picture
Mr

Mukesh Tiwari

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

Mukesh Tiwari

 
Print
Mukesh's  Short Profile
 

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)

The encryption of ballots is crucial to maintaining integrity and anonymity in electronic voting schemes. It enables, amongst othe..

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

Keyword Analysis

Computer Software
Expanding Knowledge

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

Languages

English
Hindi