GitHub - sbaloglu/eev-codes: 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

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
eev-any		eev-any
eev-last		eev-last
eev-notify-any		eev-notify-any
eev-notify-last		eev-notify-last
eev-star-any		eev-star-any
eev-star-last		eev-star-last

About

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