Liudmila Babenko, Ilya Pisarev. Security Analysis of the Electronic Voting Protocol Based on Blind Intermediaries Using the SPIN Verifier. In International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC 2018, Zhengzhou, China, October 18-20, 2018. IEEE, 2018. [doi]
Abstract is missing.