Keywords = CryptoPAi
Number of Articles: 1
1. An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols

Volume 6, Issue 1, Winter and Spring 2019, Pages 25-42

10.22108/jcs.2019.113429.1011

Hamid Reza Mahrooghi; Rasool Jalili