Reproducing iOS Vote Verification App Builds for Estonian I-Voting System
Organisatsiooni nimi
Cybersecurity
Kokkuvõte
The Estonian I-voting System provides a vote verification feature which can be used by the voter to check if the vote has reached the election servers as intended.
The vote can be verified using the vote verification app which is provided for Android and iOS mobile operating systems.
The Estonian National Electoral Committee has published the source code of the vote verification application in a GitHub repository.
The purpose of this project is to verify whether the vote verification application binary distributed in the iOS app store is compiled from the source code published in GitHub.
The task involves reproducing the build environment until the build process produces a binary package that matches the package distributed in the app store.
The work should describe the reproduction process and provide recommendations for making the build process more reproducible-friendly.
A similar work has been done for the Android vote verification app [2,3]. However, achieving similar results for the iOS app is believed to be more challenging.
Links:
[1] https://cybersec.ee/storage/slides2018feb_present.pdf
[2] https://cybersec.ee/storage/annika-report-f17.pdf
[3] https://cybersec.ee/storage/reproducing_ivoting_slides.pdf
[4] https://core.telegram.org/reproducible-builds
The vote can be verified using the vote verification app which is provided for Android and iOS mobile operating systems.
The Estonian National Electoral Committee has published the source code of the vote verification application in a GitHub repository.
The purpose of this project is to verify whether the vote verification application binary distributed in the iOS app store is compiled from the source code published in GitHub.
The task involves reproducing the build environment until the build process produces a binary package that matches the package distributed in the app store.
The work should describe the reproduction process and provide recommendations for making the build process more reproducible-friendly.
A similar work has been done for the Android vote verification app [2,3]. However, achieving similar results for the iOS app is believed to be more challenging.
Links:
[1] https://cybersec.ee/storage/slides2018feb_present.pdf
[2] https://cybersec.ee/storage/annika-report-f17.pdf
[3] https://cybersec.ee/storage/reproducing_ivoting_slides.pdf
[4] https://core.telegram.org/reproducible-builds
Lõputöö kaitsmise aasta
2023-2024
Juhendaja
Arnis Paršovs
Suhtlemiskeel(ed)
inglise keel
Nõuded kandideerijale
Tase
Bakalaureus, Magister
Märksõnad
Kandideerimise kontakt
Nimi
Arnis Paršovs
Tel
E-mail
Vaata lähemalt