Programa de Pós-Graduação em Matemática - Discentes

Produção Científica de Alunos no Período de 2008 a 2025

Softwares sem registro de patente

Número total de items: 1

2012

  1. SANTOS REGO, Y.; NOGUEIRA, R. B.; AYALA-RINCÓN, M. Formalização da segurança do modelo criptográfico de Dolev Yao em PVS. 2012.
    [ Google | Google Scholar ]
Arquivo gerado a partir dos currículos Lattes dos pesquisadores. Data do processamento: 12/05/2025 13:56:52
Os resultados estão sujeitos a falhas devido a eventuais inconsistências no preenchimento dos currículos Lattes pelos pesquisadores. Caso note algum problema, por favor, contacte o responsável por esta página: informatica@ime.unicamp.br.