Anonymous and formally verified dual signature based online e-voting protocol, Cluster Computing, vol. 22, no. 1, pp. 1703–1716, 2019.