L. Soares, M. Alvim, D. Bu, N. Fernandes, and Y. Liao.
" Formal Privacy Analyses for Open Banking", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. 171-193.