From fdcc205cfae244db931b4f1e927065ebf0ef9fdd Mon Sep 17 00:00:00 2001 From: Sarah Jamie Lewis Date: Fri, 25 Oct 2019 21:18:49 -0700 Subject: [PATCH] Update 'README.md' --- README.md | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) 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 +