Errata

---

Formal privacy analyses for open banking (SBMF 2024)