Pesquisa / Paper Files
Paper Files
Os Paper Files são uma prática pessoal de estudo contínuo em cibersegurança que aplica o método científico como ferramenta de aprendizado. Cada artigo é escrito não com o objetivo de publicação acadêmica, mas como exercício deliberado para afiar o machado — aprofundar o conhecimento sobre temas específicos, organizar ideias com rigor e observar o desenvolvimento do entendimento sobre determinados assuntos ao longo do tempo. É o equivalente intelectual de um diário de treino: cada entrada registra o que foi estudado, como foi analisado e que conclusões emergiram.
Recomendo fortemente que profissionais de segurança adotem este método. Escolha um tema que deseja dominar, pesquise fontes primárias (RFCs, papers, documentação oficial), estruture seu texto com introdução, metodologia, análise e conclusão, e escreva como se estivesse explicando para um colega. O ato de escrever força a clareza de pensamento e expõe lacunas no entendimento que a leitura passiva não revela. Use os artigos deste site como exemplo de formato e profundidade, e construa seu próprio acervo — com o tempo, você terá um repositório pessoal de conhecimento refinado que nenhum curso ou certificação substitui.
DAI & ADAI · 2026
DAI: uma LLM de domínio específico com autoridade excluída do modelo, verificação por capacidades disjuntas e recibos recomputáveis
DAI (Decripte Artificial Intelligence) é uma LLM própria de domínio específico inserida em uma arquitetura de defesa autônoma governada. É uma instância da categoria proposta ADAI, definida no paper complementar. O traba…
Ler o artigo →ADAI · PTInteligência Artificial de Defesa Autônoma: um arcabouço de envelope e evidência para LLMs governadas que agem sobre infraestrutura de produção
ADAI (Autonomous Defensive Artificial Intelligence) é uma categoria proposta de defesa cibernética autônoma governada. O arcabouço especifica perímetros defendidos, efeitos delimitados, reversão declarada e verificação p…
Ler o artigo →2 artigos em Português
2 artigos
DAI: uma LLM de domínio específico com autoridade excluída do modelo, verificação por capacidades disjuntas e recibos recomputáveis
DAI (Decripte Artificial Intelligence) é uma LLM própria de domínio específico inserida em uma arquitetura de defesa autônoma governada. É uma instância da categoria proposta ADAI, definida no paper complementar. O trabalho descreve sessões de resposta a incidentes que passam por curadoria do sinal, extração estruturada de alvos, seleção de playbooks revisados, contratos de ação declarados, admissibilidade determinística, execução delimitada na borda de rede, verificação por capacidades disjuntas, selagem de evidências encadeadas por hash, revisão agendada, reconciliação e reversão. O modelo aprende com transcrições próprias com resultados verificados e narra o resultado; a admissibilidade e a autoridade de execução permanecem estruturalmente fora do modelo. O paper aborda contenção por principal em domínios compartilhados, agregação sob limites de regras, reconciliação por elemento, recomputação de recibos e localização exata de alterações controladas. As medições correspondem à versão e ao período descritos no manuscrito, sem alegação de desempenho universal.
Ler o artigo →ResearchInteligência Artificial de Defesa Autônoma: um arcabouço de envelope e evidência para LLMs governadas que agem sobre infraestrutura de produção
ADAI (Autonomous Defensive Artificial Intelligence) é uma categoria proposta de defesa cibernética autônoma governada. O arcabouço especifica perímetros defendidos, efeitos delimitados, reversão declarada e verificação por capacidades disjuntas para sistemas que agem sobre infraestrutura de produção. A admissibilidade é avaliada fora do modelo aprendido; recibos encadeados por hash e encerrados por selo oferecem um contrato de recomputação autodescritivo. O paper desenvolve localização exata de alterações, contenção por principal em pontos compartilhados de execução, reconciliação por elemento sob agregação, condições de atomização, correlação ofuscada e condições para reversibilidade composta. A metodologia separa qualidade da política, integridade do envelope e integridade da evidência. Os resultados formais dependem das hipóteses declaradas. O preprint não afirma que toda construção teórica esteja implementada ou validada de forma independente.
Ler o artigo →