Soares, L., 		Alvim, M., 		Bu, D., 		Fernandes, N., & 		Liao, Y.
2024 Dec  4.  Formal Privacy Analyses for Open Banking. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :