IEEE CS80 Rio

A cerimônia de abertura marcou o início oficial das comemorações dos 80 anos da IEEE Computer Society no Rio de Janeiro. O momento contou com a participação de lideranças da IEEE e da IEEE Computer Society, que deram as boas-vindas aos participantes e apresentaram a importância da Sociedade para o desenvolvimento da Computação, da pesquisa e da inovação.

Uma conversa sobre Cadeia de Custódia Digital, integridade da prova e desafios da perícia computacional

Nesta apresentação, discutimos os fundamentos da cadeia de custódia aplicada à forense digital, destacando os procedimentos necessários para garantir a integridade, a rastreabilidade e a confiabilidade das evidências desde sua obtenção até o descarte.

A proposta é apresentar uma visão prática sobre como requisitos legais, normas técnicas e boas práticas periciais se complementam para assegurar que evidências digitais possam ser coletadas, preservadas, analisadas e apresentadas de forma verificável e defensável. São abordados tanto os requisitos previstos no Código de Processo Penal e na Lei nº 13.964/2019 quanto os padrões internacionais da série ISO 21043 e das normas ISO/IEC voltadas à investigação digital.

Ao longo da exposição, são discutidas as particularidades dos vestígios digitais, incluindo dispositivos de armazenamento, computadores, celulares, serviços em nuvem, registros eletrônicos e outros artefatos tecnológicos. A apresentação destaca que, diferentemente dos vestígios físicos tradicionais, evidências digitais exigem cuidados específicos relacionados à volatilidade dos dados, criptografia, processos de aquisição forense, geração de hashes e preservação das condições originais dos sistemas examinados.

Também são explorados aspectos práticos da atuação pericial, como clonagem e imaging de dispositivos, recuperação de dados apagados, tratamento de dispositivos criptografados, extrações em equipamentos móveis, estados BFU e AFU, obtenção de dados em nuvem e as limitações inerentes aos mecanismos de verificação por hash. A discussão enfatiza a importância da documentação detalhada de cada procedimento realizado e das ferramentas utilizadas durante os exames.

A apresentação busca provocar reflexões sobre questões como:

• Como garantir a integridade de uma evidência digital ao longo de todo o processo pericial?
• Quais são as diferenças entre os requisitos legais da cadeia de custódia e as exigências técnicas das normas internacionais?
• Como documentar adequadamente procedimentos de aquisição, análise e armazenamento de evidências digitais?
• Quais cuidados devem ser adotados em exames de computadores, dispositivos móveis e serviços em nuvem?
• Até que ponto hashes criptográficos são suficientes para assegurar a cadeia de custódia de uma evidência digital?
• Como lidar com situações que envolvem criptografia, apagamento de dados, múltiplas extrações ou limitações técnicas dos dispositivos examinados?

O objetivo não é apresentar um conjunto rígido de procedimentos, mas reforçar que a confiança na prova digital depende da combinação entre metodologia técnica, documentação adequada, controles de integridade, rastreabilidade e observância dos requisitos legais e normativos que regem a atividade pericial.

A inteligência artificial acelerou a geração de código, mas também ampliou os riscos de requisitos implícitos, decisões arquiteturais não registradas e validações superficiais. A palestra mostrou como o Specification-Driven Development transforma intenção em requisitos verificáveis, design, tarefas rastreáveis e evidências de qualidade, com o objetivo de evoluir do “vibe coding” para um processo de desenvolvimento com IA mais previsível, revisável e seguro para produção.

A conversa apresentou os diferentes estágios de evolução da IA, a importância das GPUs nessa revolução e uma visão panorâmica dos próximos anos. Esteban também abordou o impacto da IA na nova geração da robótica e dos veículos autônomos, além do potencial dos World Foundation Models em desenvolvimento.

O seminário apresentou, de forma acessível, o que é Computação Quântica e por que ela tem atraído tanta atenção nos últimos anos. A palestra explicou a diferença entre bits clássicos e qubits, a superposição, as portas lógicas quânticas e como isso permite um tipo de “paralelismo” capaz de resolver certos problemas muito mais rápido do que computadores tradicionais, como busca em listas e fatoração de números grandes relacionados à segurança na internet. Também mostrou exemplos de circuitos, comentou o impacto na criptografia e discutiu o estágio atual da tecnologia, incluindo limitações de hardware, ruído e a quantidade reduzida de qubits.

Um momento reservado para aproximar participantes, palestrantes e representantes do setor tecnológico em um ambiente informal. Durante o coffee-break, os convidados trocaram experiências, aprofundaram discussões iniciadas ao longo da programação e estabeleceram conexões acadêmicas e profissionais.

Nesta conversa, discutimos como usar agentes de código de forma mais estruturada, indo além do uso improvisado de prompts e do chamado “vibe coding”.

A proposta apresentou uma visão prática sobre como Spec-Driven Development, Context Engineering e Harness Engineering podem ajudar pessoas desenvolvedoras, arquitetas e times técnicos a manterem mais controle sobre o trabalho realizado por agentes de IA.

Em vez de tratar agentes como geradores automáticos de código, a conversa propõe um modelo mental mais seguro e verificável: primeiro reduzir ambiguidade com uma boa especificação, depois fornecer o contexto certo para o agente e, por fim, criar um harness com limites, testes, validações, revisão e feedback loops.

A discussão foi conduzida de forma visual, usando Excalidraw, para explorar perguntas como:

• Como evitar que agentes tomem decisões implícitas de produto e arquitetura?
• Como transformar uma ideia vaga em uma spec útil?
• Como decidir qual contexto realmente deve ser fornecido ao agente?
• Como criar mecanismos de validação antes de aceitar código gerado por IA?
• Qual passa a ser o papel da engenharia de software quando agentes começam a executar parte do trabalho?

O objetivo não é apresentar uma fórmula fechada, mas provocar uma reflexão prática: agentes de código não precisam apenas de prompts melhores; eles precisam de direção, contexto e controle técnico.

Alfredo Goldman é doutor pelo INPG, em Grenoble, e professor titular da USP. Atua como editor de área do periódico Parallel Computing e foi track co-chair do EuroPar 17 e 21, do IEEE SCC 20, do CARLA 22, do CCGRID 25 e 26, do CLUSTER 26 e do ACM SAC 25 e 26. É co-PC chair do ACM HPDC 26 e foi co-chair de programa de workshops no SC 23 e no XP 24.

Suas principais linhas de pesquisa são computação paralela e distribuída, escalonamento e métodos ágeis. Integrou o Board of Governors da IEEE Computer Society (2015–17) e é membro sênior da ACM e do IEEE. Atualmente é chair do TCPP e vice-chair do TAC da IEEE Computer Society.

Coordena um projeto temático da FAPESP em Computação de Alto Desempenho e o pilar de ciência da computação do Centro de Pesquisa Internacional USP-CNRS. Participa de grupos de trabalho de apoio à Ciência Aberta na USP, na IEEE Computer Society e na Sociedade Brasileira de Computação.

Uma apresentação dedicada à IEEE Computer Society, que abordou sua história, sua atuação e sua contribuição para o desenvolvimento global da computação. A sessão também apresentou oportunidades, benefícios e recursos disponíveis aos membros, com orientações práticas sobre como aproveitar ao máximo a membresia e se envolver com a comunidade.

A cerimônia de encerramento concluiu a programação do IEEE CS80 Rio, reunindo os participantes para um momento de agradecimento e celebração. A atividade destacou os resultados do evento, reconheceu o trabalho de todos que contribuíram para sua realização e reforçou o compromisso da IEEE Computer Society com o fortalecimento da comunidade de Computação.