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