Browsing by Author Tiwari, Mukesh
Showing results 1 to 5 of 5
Formally Verified Verifiable Electronic Voting Scheme
Author(s) | Tiwari, Mukesh |
---|---|
Type | Thesis (PhD) |
Date Published | 2021 |
Date Created | - |
Modular Formalisation and Verification of STV Algorithms
Author(s) | Ghale, Milad K.; Gore, Rajeev; Pattinson, Dirk, et al |
---|---|
Type | Conference paper |
Date Published | 2018 |
Date Created | October 2-5 2018 |
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes
Author(s) | Moses, Lyria Bennett; Gore, Rajeev; Levy, Ron, et al |
---|---|
Type | Conference paper |
Date Published | 2017 |
Date Created | 24 27 October 2017 |
Verifiable homomorphic tallying for the schulze vote counting scheme
Author(s) | Haines, Thomas; Pattinson, Dirk; Tiwari, Mukesh |
---|---|
Type | Conference paper |
Date Published | 2020 |
Date Created | July 1314 |
Verified Verifiers for Verifying Elections
Author(s) | Haines, Thomas; Gore, Rajeev; Tiwari, Mukesh |
---|---|
Type | Conference paper |
Date Published | 2019 |
Date Created | Nov 11-15 2019 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator