Anonymous and formally verified dual signature based online e-voting protocol

Malik Najmus Saqib, Junaid Kiani, Basit Shahzad, Adeel Anjum, Saif Ur Rehman Malik, Naveed Ahmad, Atta ur Rehman Khan. Anonymous and formally verified dual signature based online e-voting protocol. Cluster Computing, 22(Suppl 1):1703-1716, 2019. [doi]

Abstract

Abstract is missing.