Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki. Verification of Verifiability of Voting Protocols by Strand Space Analysis. In Proceedings of the 8th International Conference on Software and Computer Applications, ICSCA '19, Penang, Malaysia, February 19-21, 2019. pages 363-368, ACM, 2019. [doi]
Abstract is missing.