publicações selecionadas artigo de conferência The Last Mile: High-Assurance and High-Speed Cryptographic Implementations 2020
