| Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 13-aoû-2024 | 7-jui-2023 | DogeFuzz : um framework extensível para estudos de fuzzing na análise dinâmica de Smart Contracts | Medeiros, Ismael Coelho | Almeida, Rodrigo Bonifácio de | - |
| 5-mar-2026 | 12-sep-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 | - |