/BulletinBoard-CSF21

Companion technical report and TLA+ proofs for the paper "Fixing the Achilles Heel of E-Voting: The Bulletin Board" published at IEEE Computer Security Foundations 2021.

Primary LanguageTLAGNU General Public License v3.0GPL-3.0

Stargazers

No one’s star this repository yet.