{"id":6766,"date":"2026-08-19T11:16:56","date_gmt":"2026-08-19T14:16:56","guid":{"rendered":"https:\/\/eic.cefet-rj.br\/ppcic\/?p=6766"},"modified":"2026-08-19T11:25:48","modified_gmt":"2026-08-19T14:25:48","slug":"defesa-de-dissertacao-21-08-2026-felipe-mello-fonseca","status":"publish","type":"post","link":"https:\/\/eic.cefet-rj.br\/ppcic\/defesa-de-dissertacao-21-08-2026-felipe-mello-fonseca\/","title":{"rendered":"Defesa de Disserta\u00e7\u00e3o (21\/08\/2026): Felipe Mello Fonseca"},"content":{"rendered":"<p role=\"presentation\"><strong>Discente:<\/strong>\u00a0<span class=\"il\">Felipe<\/span>\u00a0Mello Fonseca<\/p>\n<p role=\"presentation\"><strong>T\u00edtulo: <\/strong>DETEC\u00c7\u00c3O DE VULNERABILIDADES EM SMART CONTRACTS: UM ESTUDO COM FERRAMENTAS AUTOMATIZADAS<\/p>\n<p role=\"presentation\"><strong>Orientadores:<\/strong> Diogo Silveira Mendon\u00e7a e Pedro Henrique Gonzalez<\/p>\n<p role=\"presentation\"><strong>Banca:<\/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>Dia\/Hora:<\/strong> 21\/08\/2026, \u00e0s 8h30<\/p>\n<p role=\"presentation\"><strong>Sala:<\/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>Resumo: <\/strong>A blockchain \u00e9 uma tecnologia com aplica\u00e7\u00f5es em diversas \u00e1reas, como finan\u00e7as, vota\u00e7\u00e3o eletr\u00f4nica e Internet das Coisas. Nesse contexto, as transa\u00e7\u00f5es s\u00e3o frequentemente mediadas por \u00a0smart contracts, programas autoexecut\u00e1veis escritos predominantemente em Solidity. Por manipularem valores expressivos em criptomoedas, esses contratos s\u00e3o alvos frequentes de ataques, tornando a detec\u00e7\u00e3o automatizada de vulnerabilidades um desafio t\u00e9cnico relevante. Este trabalho apresenta dois conjuntos de experimentos complementares. No primeiro, avalia-se a evolu\u00e7\u00e3o das ferramentas de an\u00e1lise est\u00e1tica Mythril e Slither sobre os contratos do \u00a0dataset SmartBugs Curated, segundo a taxonomia DASP, confrontando os resultados com classifica\u00e7\u00f5es previamente validadas manualmente. No segundo, avalia-se o desempenho do Gemini 2.0 Flash na mesma tarefa de detec\u00e7\u00e3o, comparando-o aos resultados reportados para o GPT-4 na literatura. Os resultados indicam que as vers\u00f5es mais recentes das ferramentas tradicionais apresentam avan\u00e7os concretos, sobretudo na redu\u00e7\u00e3o de falsos positivos, embora limita\u00e7\u00f5es persistam em determinadas categorias de vulnerabilidade. As LLMs demonstraram potencial como mecanismo de apoio em triagens preliminares,\u00a0 especialmente pela sua acessibilidade, por\u00e9m ainda exigem valida\u00e7\u00e3o humana para auditorias de sistemas cr\u00edticos. \u00a0Em conjunto, os experimentos refor\u00e7am que a combina\u00e7\u00e3o de m\u00faltiplas abordagens \u00e9 o caminho mais promissor para aumentar a confiabilidade dos \u00a0smart contracts antes de sua publica\u00e7\u00e3o na blockchain.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Discente:\u00a0Felipe\u00a0Mello Fonseca T\u00edtulo: DETEC\u00c7\u00c3O DE VULNERABILIDADES EM SMART CONTRACTS: UM ESTUDO COM FERRAMENTAS AUTOMATIZADAS Orientadores: Diogo Silveira Mendon\u00e7a e Pedro Henrique Gonzalez Banca: Diogo Silveira Mendon\u00e7a (Cefet\/RJ), Pedro Henrique Gonzalez (UFRJ), Kele Teixeira Belloze (Cefet\/RJ) e Jos\u00e9 Augusto Miranda Nacif (UFV) Dia\/Hora: 21\/08\/2026, \u00e0s 8h30 Sala: https:\/\/teams.microsoft.com\/meet\/290006386263688?p=ICWKLlepYzGWKoe2Ly Resumo: A blockchain \u00e9 uma tecnologia com aplica\u00e7\u00f5es [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14,33],"tags":[],"class_list":["post-6766","post","type-post","status-publish","format-standard","hentry","category-defesas","category-noticias-pt"],"_links":{"self":[{"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/posts\/6766","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=6766"}],"version-history":[{"count":4,"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/posts\/6766\/revisions"}],"predecessor-version":[{"id":6774,"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/posts\/6766\/revisions\/6774"}],"wp:attachment":[{"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/media?parent=6766"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/categories?post=6766"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/eic.cefet-rj.br\/ppcic\/wp-json\/wp\/v2\/tags?post=6766"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}