- Home
- Proceedings
- CYBERC
- CYBERC 2018
2018 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC)
Security Analysis of the Electronic Voting Protocol Based on Blind Intermediaries Using the SPIN Verifier
Year: 2018, Pages: 43-435
Abstract
