publicações selecionadas artigo académico A formal treatment of the role of verified compilers in secure computation. Journal of Logical and Algebraic Methods in Programming. 2022
