| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 2-Abr-2012 | 19-Ago-2011 | Uso de raciocínio baseado em casos na simulação de análise live | Mesquita, Frederico Imbroisi | Ralha, Célia Ghedini; Hoelz, Bruno Werneck Pinto | - |
| 2008 | 2008 | Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata | Nogueira, Rodrigo Borges | Ayala-Rincón, Mauricio | - |