You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Tamarin and ProVerif codes correspond to election verifiability and privacy experiments and results described in the paper “Formal Verification and Solutions for Estonian E-Voting" by Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang