ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs. - Dan Bogdanov; Joosep Jääger; Peeter Laud; Härmel Nestra; Martin Pettai; Jaak Randmets; Raul-Martin Rebane; Ville Sokk; Kert Tali; Sandhra-Mirella Valdma (CSF, 2024)

Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance. - Dan Bogdanov; Eduardo Brito; Annika Jaakson; Peeter Laud; Raul-Martin Rebane (ARES (EU Projects Symposium Workshops 1), 2025)