publicações selecionadas artigo de conferência Detection of vulnerabilities in smart contracts specifications in ethereum platforms 2020