diff --git a/README.md b/README.md index 4a8b7d4..02c3d0d 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,18 @@ -# cheating-proof-transcripts +# Cheating Proof Transcripts from the Swiss Post / Scytl Disclosure + +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: + + +* 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) + + +## Additional Reading + +* Initial Disclosure: https://people.eng.unimelb.edu.au/vjteague/SwissVote.html +* Lewis, Sarah Jamie, Olivier Pereira, and Vanessa Teague. "Addendum to how not to prove your election outcome: The use of nonadaptive zero knowledge proofs in the ScytlSwissPost Internet voting system, and its implications for cast as intended verification."(2019).https://people.eng.unimelb.edu.au/vjteague/HowNotToProveElectionOutcomeAddendum.pdf +