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 001; Atta ur Rehman Khan (Clust. Comput., 2019)