Ramos, Thiago Mendonça Ferreira, Universidade de Brasília, Brasil

• 16° CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB 7° DO DF - Submissões gerais
  Teoria dos Números e Técnicas de Fatoração Eficientes
  Resumo
• 20º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 11º DO DF - Submissões gerais
  Verificação Formal de Modelos Criptográficos
  Resumo