Formal Verification and Solutions for Estonian E-Voting.

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

Browse the full AsiaCCS paper archive.