Merge branch 'main' of https://github.com/kastel-security/polyas-core…

…3-universal-verification

LICENSE

@@ -23,3 +23,5 @@ SOFTWARE.
 The above license excepts the content of [TonelliShanks.py](src/algos/TonelliShanks.py) which is taken from
 [https://rosettacode.org/wiki/Tonelli-Shanks_algorithm#Python](https://rosettacode.org/wiki/Tonelli-Shanks_algorithm#Python)
 and is available under GNU Free Documentation License 1.2 unless otherwise noted. No changes were made to this part of the code.
+The license furthermore excepts the content of [polyas3.0-verifiable-1.3.2.pdf](doc/polyas3.0-verifiable-1.3.2.pdf) which is
+copyrighted by [POLYAS](https://www.polyas.com/).

README.md

@@ -1,7 +1,11 @@
 # Polyas-Checker
 
-Polyas-Checker is a tool to verify the bulletin boards of the [POLYAS](https://www.polyas.com/) 3.0 E-Voting System for [universal verifiability](https://gi.de/wahlen/verifikation-der-gi-wahlen-tools-gesucht), see also the original [publication](https://publikationen.bibliothek.kit.edu/1000117999).
-The POLYAS 3.0 E-Voting System is used in the [elections for the executive and the managing committee](https://gi.de/wahlen/) of the [German Informatics Society](https://gi.de/) in autumn 2023.
+Polyas-Checker is a tool to verify the bulletin boards of the [POLYAS](https://www.polyas.com/) 3.0 E-Voting System for
+[universal verifiability](https://gi.de/wahlen/verifikation-der-gi-wahlen-tools-gesucht), see also the original
+[publication](https://publikationen.bibliothek.kit.edu/1000117999).
+The POLYAS 3.0 E-Voting System is used in the [elections for the executive and the managing committee](https://gi.de/wahlen/) of the
+[German Informatics Society](https://gi.de/) in autumn 2023, see [polyas3.0-verifiable-1.3.2.pdf](doc/polyas3.0-verifiable-1.3.2.pdf)
+for its system specification.
 
 ## Requirements
 * [python3](https://www.python.org/downloads/)
@@ -54,7 +58,8 @@ python -m unittest discover src
 See [LICENSE](LICENSE)
 
 ## Contributors
-The principal development of this software has been done by [Maximilian Noppel](https://intellisec.de/team/max/) for the 2019 version with major refactorings and extensions for the 2023 version by [Christoph Niederbudde](mailto:udqps@student.kit.edu).
+The principal development of this software has been done by [Maximilian Noppel](https://intellisec.de/team/max/) for the 2019 version with
+major refactorings and extensions for the 2023 version by [Christoph Niederbudde](mailto:udqps@student.kit.edu).
 
 ## Contact
 For more information, please contact [Michael Kirsten](https://formal.kastel.kit.edu/~kirsten/?lang=en).