Mukesh Tiwari

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (10)

• Formally Verified Verifiable Group Generators
  2025 DOI: 10.1007/978-3-031-87054-5_12
  +Save
• Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications
  2023 DOI: 10.1145/3576915.3623141
  +Save
• Verifiable homomorphic tallying for the schulze vote counting scheme
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2020 DOI: 10.1007/978-3-030-41600-3_4
  +Save
• Verifpal: Cryptographic Protocol Analysis for the Real World
  Progress in Cryptology – INDOCRYPT 2020 2020 DOI: 10.1007/978-3-030-65277-7_8
  +Save
• Verified verifiers for verifying elections
  Proceedings of the ACM Conference on Computer and Communications Security 2019 DOI: 10.1145/3319535.3354247
  +Save
• Modular Formalisation and Verification of STV Algorithms
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2018 DOI: 10.1007/978-3-030-00419-4_4
  +Save
• No more excuses: Automated synthesis of practical and verifiable vote-counting programs for complex voting schemes
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017 DOI: 10.1007/978-3-319-68687-5_5
  +Save
• Schulze voting as evidence carrying computation
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017 DOI: 10.1007/978-3-319-66107-0_26
  +Save
• Designing Intrusion Detection to Detect Black Hole and Selective Forwarding Attack in WSN Based on Local Information
  2009 Fourth International Conference on Computer Sciences and Convergence Information Technology 2009 DOI: 10.1109/iccit.2009.290
  +Save
• Performance Evaluation of SCTP-Sec: A Secure SCTP Mechanism
  2009 Fourth International Conference on Computer Sciences and Convergence Information Technology 2009 DOI: 10.1109/iccit.2009.277
  +Save