diff --git a/README.md b/README.md index 02c3d0d..adb4984 100644 --- a/README.md +++ b/README.md @@ -3,12 +3,13 @@ This repository contains proof transcripts that demonstrate flaws in the shuffle proof and decryption proof methods implemented in the SwissVote-Scytl evoting system. -They was generated by Sarah Jamie Lewis, Olivier Pereira and Vanessa Teague, using techniques described in the following reports: +They were generated by Sarah Jamie Lewis, Olivier Pereira and Vanessa Teague, using techniques described in the following reports: * Lewis, Sarah Jamie, Olivier Pereira, and Vanessa Teague. "Ceci n’est pas une preuve." (2019). (https://people.eng.unimelb.edu.au/vjteague/UniversalVerifiabilitySwissPost.pdf) * Lewis, Sarah Jamie, Olivier Pereira, and Vanessa Teague. "How not to prove your election outcome: The use of nonadaptive zero knowledge proofs in the ScytlSwissPost Internet voting system." (2019).(https://people.eng.unimelb.edu.au/vjteague/HowNotToProveElectionOutcome.pdf) +To verify these cheating proofs you will need [a copy of the Swiss Post / Scytl e-voting code base](https://git.openprivacy.ca/swiss-post-scytl-disclosure/sVote). ## Additional Reading