Dr Mukesh Tiwari

Darlithydd, Computer Science

mukesh.tiwari@abertawe.ac.uk

316
Trydydd Llawr
Y Ffowndri Gyfrifiadol
Campws y Bae

Ar gael ar gyfer Goruchwyliaeth Ôl-raddedig

Dolenni Ymchwil

https://orcid.org/0000-0001-5373-9659

Google Scholar

Scopus

Trosolwg

Mae Mukesh Tiwari yn Ddarlithydd yn yr Adran Gyfrifiadureg, Prifysgol Abertawe. Nod ei ymchwil yw sicrhau cywirdeb a diogelwch rhaglenni meddalwedd a ddefnyddir yn y maes cyhoeddus gan ddefnyddio dulliau ffurfiol. Mae ei ymchwil yn canolbwyntio ar brofi cywirdeb rhaglenni meddalwedd, yn enwedig y rhai a ddefnyddir ar gyfer sefyllfaoedd hollbwysig sy'n ymwneud â dinasyddion cyffredin, e.e. meddalwedd cyfrif pleidleisiau ar gyfer etholiadau i swydd gyhoeddus sy'n rhwymo'n gyfreithiol, meddalwedd prosesu data ar gyfer data sensitif, meddalwedd cryptograffeg a ddefnyddir mewn etholiadau, etc. Yn bennaf, mae'n defnyddio'r profwr theoremau Coq i roi rhaglenni meddalwedd ar waith a phrofi eu bod yn gywir. Yn ogystal, mae'n frwdfrydig iawn am addysgu dilysu ffurfiol.

Mae croeso i chi gysylltu ag ef os oes gennych brosiect ymchwil sy'n ymwneud â phrofi theoremau, yn enwedig os yw'n cynnwys Coq.

Meysydd Arbenigedd

Cryptograffeg
Pleidleisio Electronig
Profi Theoremau Rhyngweithiol (Profwr Theoremau Coq)
Diogelwch Meddalwedd
Seiberddiogelwch
Damcaniaeth Dewis Cymdeithasol

Uchafbwyntiau Gyrfa

Diddordebau Addysgu

Cryptograffeg

Profi Theoremau

Dilysu Ffurfiol

Cyhoeddiadau

Uchafbwyntiau Ymchwil

Murray, T., Tiwari, M., Ernst, G., & Naumann, D. (2023). Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications. In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications SecurityACM.
https://doi.org/10.1145/3576915.3623141, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65925
Haines, T., Goré, R., & Tiwari, M. (2023). Machine-checking multi-round proofs of shuffle: Terelius-Wikstrom and Bayer-Groth. In SEC '23: Proceedings of the 32nd USENIX Conference on Security SymposiumACM.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65926
https://dl.acm.org/doi/10.5555/3620237.3620599
Kobeissi, N., Nicolas, G., & Tiwari, M. (2020). Verifpal: Cryptographic Protocol Analysis for the Real World. In Progress in Cryptology – INDOCRYPT 2020 (pp. 151-202). Springer International Publishing.
https://doi.org/10.1007/978-3-030-65277-7_8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa66140
Pattinson, D. & Tiwari, M. (2017). Schulze Voting as Evidence Carrying Computation. In Interactive Theorem Proving (pp. 410-426). Springer International Publishing.
https://doi.org/10.1007/978-3-319-66107-0_26, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa66142
Moses, L., Goré, R., Levy, R., Pattinson, D., & Tiwari, M. (2017). No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes. In Electronic Voting (pp. 66-83). Springer International Publishing.
https://doi.org/10.1007/978-3-319-68687-5_5, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa66143

Holl Ymchwil

Cyfraniadau Cynadleddau

Murray, T., Tiwari, M., Ernst, G., & Naumann, D. (2023). Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications. In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications SecurityACM.
https://doi.org/10.1145/3576915.3623141, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65925
Haines, T., Goré, R., & Tiwari, M. (2023). Machine-checking multi-round proofs of shuffle: Terelius-Wikstrom and Bayer-Groth. In SEC '23: Proceedings of the 32nd USENIX Conference on Security SymposiumACM.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65926
https://dl.acm.org/doi/10.5555/3620237.3620599
Kobeissi, N., Nicolas, G., & Tiwari, M. (2020). Verifpal: Cryptographic Protocol Analysis for the Real World. In Progress in Cryptology – INDOCRYPT 2020 (pp. 151-202). Springer International Publishing.
https://doi.org/10.1007/978-3-030-65277-7_8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa66140
Moses, L., Goré, R., Levy, R., Pattinson, D., & Tiwari, M. (2017). No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes. In Electronic Voting (pp. 66-83). Springer International Publishing.
https://doi.org/10.1007/978-3-319-68687-5_5, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa66143
Pattinson, D. & Tiwari, M. (2017). Schulze Voting as Evidence Carrying Computation. In Interactive Theorem Proving (pp. 410-426). Springer International Publishing.
https://doi.org/10.1007/978-3-319-66107-0_26, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa66142