| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 13-Aug-2024 | 7-Jul-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 | - |