Mukesh Tiwari

According to our database1, Mukesh Tiwari authored at least 10 papers between 2010 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Verifpal: Cryptographic Protocol Analysis for the Real World.
Proceedings of the Progress in Cryptology - INDOCRYPT 2020, 2020

2019
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Verified Verifiers for Verifying Elections.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018
Modular Formalisation and Verification of STV Algorithms.
Proceedings of the Electronic Voting - Third International Joint Conference, 2018

2017
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes.
Proceedings of the Electronic Voting - Second International Joint Conference, 2017

Schulze Voting as Evidence Carrying Computation.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2014
Feature Extraction of ECG Signal Using HHT Algorithm.
CoRR, 2014

2013
Comparison of multi-objective evolutionary neural network, adaptive neuro-fuzzy inference system and bootstrap-based neural network for flood forecasting.
Neural Comput. Appl., 2013

2010
Reduction in iron losses in Indirect Vector-Controlled IM Drive using FLC
CoRR, 2010

Fuzzy Logic of Speed and Steering Control System for Three Dimensional Line Following of an Autonomous Vehicle
CoRR, 2010


  Loading...