Soares, Luigi, Mário S. Alvim, Di Bu, Natasha Fernandes, and Yin Liao.
" Formal Privacy Analyses for Open Banking." <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais,
Vitória/ES, 2024</em>. SBC, 2024,  
pp.171-193.