Reproducing iOS Vote Verification App Builds for Estonian I-Voting System
Organization
Cybersecurity
Abstract
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
Graduation Theses defence year
2023-2024
Supervisor
Arnis Paršovs
Spoken language (s)
English
Requirements for candidates
Level
Bachelor, Masters
Keywords
Application of contact
Name
Arnis Paršovs
Phone
E-mail
See more