MS4 - Implementation and Report

Final report for the Innosuisse grant 101.292 IP-ICT - Secure and Privacy-Preserving Credentials for E-ID - between EPFL and SICPA SA.

Deliverable - 2026-10-07

The report is written in typst and lives in report/. Every push to main builds the PDF and publishes it in the releases.

Building locally

With DevBox installed:

devbox run compile   # report/index.pdf
devbox run html      # report/index.html
devbox run watch     # recompile on change
devbox run test      # markdown link and prettier checks

To check that the report compiles before each commit, enable the tracked git hook:

git config core.hooksPath .githooks

See report/README.md for more details.