| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 5-mar-2026 | 12-set-2025 | SmartChat : exploring LLMs for initial seed generation in smart contract fuzzing with vulnerability-guided prioritization | Silva, Fausto Carvalho Marques | Almeida, Rodrigo Bonifácio de | - |