Author Details
Ramos, Thiago Mendonça Ferreira, Universidade de Brasília, Brazil
-
- Submissões gerais
Teoria dos Números e Técnicas de Fatoração Eficientes
Abstract
-
- Submissões gerais
Verificação Formal de Modelos Criptográficos
Abstract
ISBN 978-85-64593-74-9