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