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

Modiwlau a Addysgir

CSC318 Cryptography and IT-Security

The aim of this course is to examine theoretical and practical aspects of computer and network security.
CSCM18 IT-Security: Cryptography and Network Security

The aim of this course is to examine theoretical and practical aspects of computer and network security.
CSCM88 Network and Wireless Security

Low cost networked computers add eyes and ears (or sensors) and arms, legs and voices (or actuators) to the Internet ¿ called the Internet of Things (IoT) connected smart objects. Networking technologies play a critical role in almost all modern software-based systems, whether the fixed networks of computers, or the growing pervasive devices which have increasingly diverse profiles of network connectivity. As a result, they provide a potential vector for many forms of attack and are an ideal location for many threat mitigations and isolation technologies.
CSMM88 Network Security

Low cost networked computers add eyes and ears (or sensors) and arms, legs and voices (or actuators) to the Internet ¿ called the Internet of Things (IoT) connected smart objects. Networking technologies play a critical role in almost all modern software-based systems, whether the fixed networks of computers, or the growing pervasive devices which have increasingly diverse profiles of network connectivity. As a result, they provide a potential vector for many forms of attack and are an ideal location for many threat mitigations and isolation technologies.

Dr Mukesh Tiwari

Cyfeiriad ebost

Youtube Account

Dolenni Ymchwil

Trosolwg

Meysydd Arbenigedd

Uchafbwyntiau Gyrfa

Cyhoeddiadau

Uchafbwyntiau Ymchwil

Holl Ymchwil

Cyfraniadau Cynadleddau

Modiwlau a Addysgir

CSC318 Cryptography and IT-Security

CSCM18 IT-Security: Cryptography and Network Security

CSCM88 Network and Wireless Security

CSMM88 Network Security