Mukesh Tiwari

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 11

Top Topics

Formal Analysis

Top Venues

Publications

Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version). CoRR (2023)
Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications. CCS (2023)
Thomas Haines, Rajeev Goré, Mukesh Tiwari
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth. USENIX Security Symposium (2023)
Madhvi Ramrakhiyani, Mukesh Tiwari, V. Sunitha
Farthest-First Traversal for Identifying Multiple Influential Spreaders. COMPLEX NETWORKS (2) (2023)
Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari
Verifpal: Cryptographic Protocol Analysis for the Real World. INDOCRYPT (2020)
Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari
Verifpal: Cryptographic Protocol Analysis for the Real World. CCSW@CCS (2020)
Thomas Haines, Dirk Pattinson, Mukesh Tiwari
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme. VSTTE (2019)
Thomas Haines, Rajeev Goré, Mukesh Tiwari
Verified Verifiers for Verifying Elections. CCS (2019)
Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari
Modular Formalisation and Verification of STV Algorithms. E-Vote-ID (2018)
Dirk Pattinson, Mukesh Tiwari
Schulze Voting as Evidence Carrying Computation. ITP (2017)
Lyria Bennett Moses, Rajeev Goré, Ron Levy, Dirk Pattinson, Mukesh Tiwari
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes. E-VOTE-ID (2017)
Neha Soorma Jaikaran Singh, Mukesh Tiwari
Feature Extraction of ECG Signal Using HHT Algorithm. CoRR (2014)
Amal Kant, Pranmohan K. Suman, Brijesh Kumar Giri, Mukesh Tiwari, Chandranath Chatterjee, Purna C. Nayak, Sawan Kumar
Comparison of multi-objective evolutionary neural network, adaptive neuro-fuzzy inference system and bootstrap-based neural network for flood forecasting. Neural Comput. Appl. 23 (Supplement-1) (2013)
C. Srisailam, Mukesh Tiwari, Anurag Trivedi
Reduction in iron losses in Indirect Vector-Controlled IM Drive using FLC CoRR (2010)
Shailja Shukla, Mukesh Tiwari
Fuzzy Logic of Speed and Steering Control System for Three Dimensional Line Following of an Autonomous Vehicle CoRR (2010)