Artigo em ata de conferência Acesso aberto Versão final da editora Revisto por pares

Jasmin: high-assurance and high-speed cryptography