Mukesh Tiwari

17 papers A* 3B 1Misc 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Formally Verified Verifiable Group Generators.
FSEN
Mina A. Cyrus, Mukesh Tiwari
2025 J jnl
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth.
IACR Cryptol. ePrint Arch.
Thomas Haines, Rajeev Goré, Mukesh Tiwari
2024 J jnl
Influence of multiple spreaders through farthest first traversal.
Appl. Netw. Sci.
Madhvi Ramrakhiyani, Mukesh Tiwari, V. Sunitha
2023 J jnl
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version).
CoRR
Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann
2023 A* conf
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications.
CCS
Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann
2023 — conf
Farthest-First Traversal for Identifying Multiple Influential Spreaders.
COMPLEX NETWORKS (2)
Madhvi Ramrakhiyani, Mukesh Tiwari, V. Sunitha
2023 A* conf
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth.
USENIX Security Symposium
Thomas Haines, Rajeev Goré, Mukesh Tiwari
2020 — conf
Verifpal: Cryptographic Protocol Analysis for the Real World.
CCSW
Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari
2020 Misc conf
Verifpal: Cryptographic Protocol Analysis for the Real World.
INDOCRYPT
Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari
2019 — conf
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme.
VSTTE
Thomas Haines, Dirk Pattinson, Mukesh Tiwari
2019 A* conf
Verified Verifiers for Verifying Elections.
CCS
Thomas Haines, Rajeev Goré, Mukesh Tiwari
2018 — conf
Modular Formalisation and Verification of STV Algorithms.
E-Vote-ID
Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari
2017 — conf
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes.
E-VOTE-ID
Lyria Bennett Moses, Rajeev Goré, Ron Levy, Dirk Pattinson, Mukesh Tiwari
2017 B conf
Schulze Voting as Evidence Carrying Computation.
ITP
Dirk Pattinson, Mukesh Tiwari
2014 J jnl
Feature Extraction of ECG Signal Using HHT Algorithm.
CoRR
Neha Soorma Jaikaran Singh, Mukesh Tiwari
2010 J jnl
Fuzzy Logic of Speed and Steering Control System for Three Dimensional Line Following of an Autonomous Vehicle
CoRR
Shailja Shukla, Mukesh Tiwari
2010 J jnl
Reduction in iron losses in Indirect Vector-Controlled IM Drive using FLC
CoRR
C. Srisailam, Mukesh Tiwari, Anurag Trivedi