Personal information
Cryptography, Information Flow Security, Electronic Voting, Formal Verification, Theorem Proving
United Kingdom
Activities
Works (9)
2023-11-15
|
Conference paper
Contributors:
Toby Murray;
Mukesh Tiwari;
Gidon Ernst;
David A. Naumann
Source:
check_circle
Crossref
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020
|
Book
EID:
2-s2.0-85082459194
Part of
ISBN:
16113349 03029743
Contributors:
Haines, T.;
Pattinson, D.;
Tiwari, M.
Source:
Mukesh Tiwari
via
Scopus - Elsevier
Progress in Cryptology – INDOCRYPT 2020
2020
|
Book chapter
Contributors:
Mukesh Tiwari;
Nadim Kobeissi;
Georgio Nicolas;
Mukesh Tiwari
Source:
Mukesh Tiwari
Proceedings of the ACM Conference on Computer and Communications Security
2019
|
Conference paper
EID:
2-s2.0-85075921528
Contributors:
Haines, T.;
Goré, R.;
Tiwari, M.
Source:
Mukesh Tiwari
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
|
Book
EID:
2-s2.0-85054750846
Contributors:
Ghale, M.K.;
Goré, R.;
Pattinson, D.;
Tiwari, M.
Source:
Mukesh Tiwari
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
|
Book
EID:
2-s2.0-85032489717
Contributors:
Bennett Moses, L.;
Goré, R.;
Levy, R.;
Pattinson, D.;
Tiwari, M.
Source:
Mukesh Tiwari
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
|
Book
EID:
2-s2.0-85029506121
Contributors:
Pattinson, D.;
Tiwari, M.
Source:
Mukesh Tiwari
via
Scopus - Elsevier
2009 Fourth International Conference on Computer Sciences and Convergence Information Technology
2009
|
Conference paper
Contributors:
Mukesh Tiwari;
Mukesh Tiwari;
Karm Veer Arya;
Rahul Choudhari;
Kumar Sidharth Choudhary
Source:
Mukesh Tiwari
2009 Fourth International Conference on Computer Sciences and Convergence Information Technology
2009
|
Conference paper
Contributors:
Mukesh Tiwari;
Rahul Choudhari;
K. V. Arya;
Mukesh Tiwari;
Kumar Sidharth Choudhary
Source:
Mukesh Tiwari