{"id":6769,"date":"2026-08-19T11:18:13","date_gmt":"2026-08-19T14:18:13","guid":{"rendered":"https:\/\/eic.cefet-rj.br\/ppcic\/?p=6769"},"modified":"2026-08-19T11:20:24","modified_gmt":"2026-08-19T14:20:24","slug":"dissertation-august-21-2026-felipe-mello-fonseca","status":"publish","type":"post","link":"https:\/\/eic.cefet-rj.br\/ppcic\/en\/dissertation-august-21-2026-felipe-mello-fonseca\/","title":{"rendered":"Dissertation (August 21, 2026): Felipe Mello Fonseca"},"content":{"rendered":"<p role=\"presentation\"><strong>Student:<\/strong>\u00a0<span class=\"il\">Felipe<\/span>\u00a0Mello Fonseca<\/p>\n<p role=\"presentation\"><strong>Title: <\/strong>Vulnerability Detection in Smart Contracts: A Study Using Automated Tools<\/p>\n<p role=\"presentation\"><strong>Advisors:<\/strong> Diogo Silveira Mendon\u00e7a and Pedro Henrique Gonzalez<\/p>\n<p role=\"presentation\"><strong>Committee:<\/strong> Diogo Silveira Mendon\u00e7a (Cefet\/RJ), Pedro Henrique Gonzalez (UFRJ), Kele Teixeira Belloze (Cefet\/RJ) e Jos\u00e9 Augusto Miranda Nacif (UFV)<\/p>\n<p role=\"presentation\"><strong>Day\/Hours:<\/strong> August 21, 2026 \/ 8:30 a.m.<\/p>\n<p role=\"presentation\"><strong>Room:<\/strong> <a id=\"m_-3973932913516405781OWAd704179a-d433-7192-bae4-0be5fae18ae1\" href=\"https:\/\/teams.microsoft.com\/meet\/290006386263688?p=ICWKLlepYzGWKoe2Ly\" target=\"_blank\" rel=\"noopener\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=https:\/\/teams.microsoft.com\/meet\/290006386263688?p%3DICWKLlepYzGWKoe2Ly&amp;source=gmail&amp;ust=1787235020568000&amp;usg=AOvVaw3HouZ3md8mltDUsYdlrZiL\">https:\/\/teams.microsoft.com\/<wbr \/>meet\/290006386263688?p=<wbr \/>ICWKLlepYzGWKoe2Ly<\/a><\/p>\n<p><strong>Abstract: <\/strong>Blockchain is a technology with applications across multiple domains, including finance, electronic voting, and the Internet of Things. In this context, transactions are frequently mediated by smart contracts \u2014 self-executing programs written primarily in Solidity. Because they handle significant cryptocurrency values, these contracts are frequent targets of\u00a0 attacks, making automated vulnerability detection a relevant technical challenge. This work presents two complementary sets of experiments. In the first, we evaluate the evolution of two widely used static analysis tools Mythril and Slither applied to the SmartBugs Curated dataset under the DASP taxonomy, comparing results against manually validated ground-truth labels. In the second, we assess the performance of Gemini 2.0 Flash on the same vulnerability detection task, comparing it to results previously reported for GPT-4 in the literature. The results show that the latest versions of traditional tools represent concrete progress, particularly in reducing false positives, though limitations remain in specific vulnerability categories. LLMs demonstrated potential as auxiliary mechanisms in preliminary triage, especially given their accessibility, but still require human validation for auditing critical systems. Overall, the experiments reinforce that combining multiple approaches is the most promising path toward increasing the reliability of smart contracts prior to deployment on the blockchain.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Student:\u00a0Felipe\u00a0Mello Fonseca Title: Vulnerability Detection in Smart Contracts: A Study Using Automated Tools Advisors: Diogo Silveira Mendon\u00e7a and Pedro Henrique Gonzalez Committee: Diogo Silveira Mendon\u00e7a (Cefet\/RJ), Pedro Henrique Gonzalez (UFRJ), Kele Teixeira Belloze (Cefet\/RJ) e Jos\u00e9 Augusto Miranda Nacif (UFV) Day\/Hours: August 21, 2026 \/ 8:30 a.m. Room: https:\/\/teams.microsoft.com\/meet\/290006386263688?p=ICWKLlepYzGWKoe2Ly Abstract: Blockchain is a technology with [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[96,2],"tags":[],"class_list":["post-6769","post","type-post","status-publish","format-standard","hentry","category-defenses","category-noticias-en"],"_links":{"self":[{"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/posts\/6769","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/comments?post=6769"}],"version-history":[{"count":3,"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/posts\/6769\/revisions"}],"predecessor-version":[{"id":6772,"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/posts\/6769\/revisions\/6772"}],"wp:attachment":[{"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/media?parent=6769"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/categories?post=6769"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/tags?post=6769"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}