Author Info
Name
Affiliation
Papers
MUKESH TIWARI
Australian Natl Univ, Canberra, ACT, Australia
7
Collaborators
Citations 
PageRank 
9
5
2.54
Referers 
Referees 
References 
17
22
11
Title
Citations
PageRank
Year
Verifpal - Cryptographic Protocol Analysis for the Real World.00.342020
Verifpal: Cryptographic Protocol Analysis for the Real World00.342020
Verified Verifiers for Verifying Elections10.362019
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme.00.342019
Modular Formalisation and Verification of STV Algorithms.10.372018
Schulze Voting As Evidence Carrying Computation20.452017
Feature Extraction of ECG Signal Using HHT Algorithm10.342014