Mukesh Tiwari

According to our database, Mukesh Tiwari authored at least 14 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version).

Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann

CoRR, 2023

Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth.

Thomas Haines, Rajeev Goré, Mukesh Tiwari

Proceedings of the 32nd USENIX Security Symposium, 2023

Farthest-First Traversal for Identifying Multiple Influential Spreaders.

Madhvi Ramrakhiyani, Mukesh Tiwari, V. Sunitha

Proceedings of the Complex Networks & Their Applications XII, 2023

Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications.

Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2020

Verifpal: Cryptographic Protocol Analysis for the Real World.

Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari

Proceedings of the CCSW'20, 2020

2019

Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme.

Thomas Haines, Dirk Pattinson, Mukesh Tiwari

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Verified Verifiers for Verifying Elections.

Thomas Haines, Rajeev Goré, Mukesh Tiwari

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Modular Formalisation and Verification of STV Algorithms.

Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari

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.

Lyria Bennett Moses, Rajeev Goré, Ron Levy, Dirk Pattinson, Mukesh Tiwari

Proceedings of the Electronic Voting - Second International Joint Conference, 2017

Schulze Voting as Evidence Carrying Computation.

Dirk Pattinson, Mukesh Tiwari

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2014

Feature Extraction of ECG Signal Using HHT Algorithm.

Neha Soorma Jaikaran Singh, Mukesh Tiwari

CoRR, 2014

2013

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

Amal Kant, Pranmohan K. Suman, Brijesh Kumar Giri, Mukesh Tiwari, Chandranath Chatterjee, Purna C. Nayak, Sawan Kumar

Neural Comput. Appl., 2013

2010

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

C. Srisailam, Mukesh Tiwari, Anurag Trivedi

CoRR, 2010

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

Shailja Shukla, Mukesh Tiwari

CoRR, 2010