Design and practical implementation of verify-your-vote protocol[J] CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2020(33) Chaieb, Marwa Yousfi, Souheib Lafourcade, Pascal Robbana, Riadh