| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 15-Mai-2012 | 2-Fev-2012 | SIT e CLIT : ferramentas e metodologia para aprimoramento de investigações criminais utilizando interceptações de conexão à internet | Peron, André | Deus, Flávio Elias Gomes de | - |
| 2008 | 2008 | Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata | Nogueira, Rodrigo Borges | Ayala-Rincón, Mauricio | - |