Follow
Mukesh Tiwari
Title
Cited by
Cited by
Year
Designing intrusion detection to detect black hole and selective forwarding attack in WSN based on local information
M Tiwari, KV Arya, R Choudhari, KS Choudhary
2009 Fourth International Conference on Computer Sciences and Convergence …, 2009
872009
Verifpal: Cryptographic Protocol Analysis for the Real World
N Kobeissi, G Nicolas, M Tiwari
International Conference on Cryptology in India, 151-202, 2020
182020
Verified verifiers for verifying elections
T Haines, R Goré, M Tiwari
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
132019
Modular formalisation and verification of STV algorithms
MK Ghale, R Goré, D Pattinson, M Tiwari
International Joint Conference on Electronic Voting, 51-66, 2018
92018
Schulze voting as evidence carrying computation
D Pattinson, M Tiwari
International Conference on Interactive Theorem Proving, 410-426, 2017
82017
Verifiable homomorphic tallying for the Schulze vote counting scheme
T Haines, D Pattinson, M Tiwari
Working Conference on Verified Software: Theories, Tools, and Experiments, 36-53, 2019
32019
Verifpal: Cryptographic Protocol Analysis for Students and Engineers.
N Kobeissi
IACR Cryptol. ePrint Arch. 2019, 971, 2019
32019
Verifpal: Cryptographic Protocol Analysis for Students and Engineers.
N Kobeissi
IACR Cryptol. ePrint Arch. 2019, 971, 2019
32019
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
International Joint Conference on Electronic Voting, 66-83, 2017
22017
Performance Evaluation of SCTP-Sec: A Secure SCTP Mechanism
R Choudhari, KV Arya, M Tiwari, KS Choudhary
2009 Fourth International Conference on Computer Sciences and Convergence …, 2009
22009
Machine Checked Properties of the Schulze Method
M Tiwari, D Pattinson
7th Workshop on Hot Issues in Security Principles and Trust, 2021
12021
Formally Verified Verifiable Electronic Voting Scheme
M Tiwari
PQDT-Global, 2021
12021
PI in Cryptography
M Tiwari
The system can't perform the operation now. Try again later.
Articles 1–13