Soares, Luigi, 		Alvim, Mário, 		Bu, Di, 		Fernandes, Natasha, E 		Liao, Yin.
" Formal Privacy Analyses for Open Banking" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)