Research Article
Automatic Formal Framework of Coercion-resistance in Internet Voting Protocols with CryptoVerif in Computational Model
School of Computer, South-Center University for Nationalities, MinYuan Road #708 HongShan Section, Wuhan, Hubei, 430074, China