Version 1.1

This release includes the following changes:

• implemented mitigations for a reported clash attack, which was originally reported as a security advisory; the implemented mitigations are described in the issue
• updated the protocol descriptions and diagrams to include the implemented mitigations
• updated the threat model to include the reported clash attack and its mitigations, and did some additional threat model cleanup
• implemented a missing check for a matching ballot tracker within the voting application's check procedure
• modified cryptographic context function names and usage for clarity
• reimplemented the threat model in Python and provided an additional graph visualization for it

Latest

This is the latest build of E2E-VIV artifacts from the main branch.

Initial Public Release (with Updated Documentation)

This is an update to the initial public release of the VoteSecure repository, including the generated artifacts (FAQ, refinement of concurrent models paper, threat model), to bring some of the documentation (threat model, protocol diagrams, informal protocol specifications) up to date as they were missed in the initial release preparations. The implementation is identical to that of the initial public release.

Initial Public Release

This is the initial public release of the VoteSecure repository, including the generated artifacts (FAQ, refinement of concurrent models paper, threat model).