Liudmila Babenko, Ilya Pisarev, Elena Popova. Cryptographic protocols implementation security verification of the electronic voting system based on blind intermediaries. In Oleg B. Makarevich, Dmitry Popov, Ludmila K. Babenko, Pete Burnap, Atilla Elçi, Ron Poet, Jaideep Vaidya, Mehmet A. Orgun, Manoj Singh Gaur, Rajveer Singh Shekhawat, editors, Proceedings of the 12th International Conference on Security of Information and Networks, SIN 2019, Sochi, Russian Federation, September 12-15, 2019. ACM, 2019. [doi]
Abstract is missing.