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
722009
Schulze voting as evidence carrying computation
D Pattinson, M Tiwari
International Conference on Interactive Theorem Proving, 410-426, 2017
72017
Modular formalisation and verification of STV algorithms
MK Ghale, R Goré, D Pattinson, M Tiwari
International Joint Conference on Electronic Voting, 51-66, 2018
42018
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes
LB Moses, R Goré, R Levy, D Pattinson, M Tiwari
International Joint Conference on Electronic Voting, 66-83, 2017
22017
Verified verifiers for verifying elections
T Haines, R Goré, M Tiwari
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
12019
Verifpal: Cryptographic Protocol Analysis for Students and Engineers.
N Kobeissi
IACR Cryptol. ePrint Arch. 2019, 971, 2019
12019
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
2019
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
2009
The system can't perform the operation now. Try again later.
Articles 1–8