Towards Smart Contract-based Verification of Anonymous Credentials. - Robert Muth; Tarek Galal; Jonathan Heiss; Florian Tschorsch (IACR Cryptol. ePrint Arch., 2022)

Privacy-Preserving Outsourced Certificate Validation. - Tarek Galal; Anja Lehmann (Proc. Priv. Enhancing Technol., 2023)

From Paper Trails to Trust on Tracks: Adding Public Transparency to Railways via zk-SNARKs. - Tarek Galal; Valeria Tisch; Katja Assaf; Andreas Polze (CoRR, 2025)