A rigorous security analysis of a decentralized electronic voting protocol in the universal composability framework. - Shahram Khazaei; Mehri Rezaei-Aliabadi (J. Inf. Secur. Appl., 2018)