Research / 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 paper →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 paper →127 papers
Arquitetura Criptográfica Resiliente contra Ameaças Avançadas: Formalização, Implementação e Avaliação Operacional de Controles Cripto-Agile em Infraestruturas Corporativas
A dependência crescente de mecanismos criptográficos em infraestruturas corporativas modernas transformou a criptografia no principal mecanismo de confiança digital. Entretanto, incidentes recentes envolvendo exploração de bibliotecas criptográficas (e.g., CVE-2022-0778 no OpenSSL), ataques a protocolos (e.g., downgrade attacks em TLS) e abuso operacional de criptografia por ransomware (MITRE ATT&CK T1486) evidenciam lacunas entre teoria criptográfica e implementação prática. Este trabalho investiga sistematicamente o problema da governança, detecção e resiliência de ativos criptográficos em ambientes corporativos sob ameaça ativa. Propomos uma arquitetura cripto-agile orientada a defesa em profundidade, integrando descoberta automatizada de ativos criptográficos, validação formal de parâmetros, detecção de anomalias criptográficas em rede e resposta automatizada a incidentes. Nossa metodologia combina análise formal de propriedades de segurança (confidencialidade, integridade, forward secrecy), instrumentação de tráfego com Suricata e Zeek, validação de certificados via OpenSSL e CFSSL, inspeção de memória com Volatility, e correlação de eventos via Sigma e Elastic Stack. Desenvolvemos dois algoritmos principais: (i) Crypto Asset Discovery and Risk Scoring (CADRS), para inventário e priorização de riscos, e (ii) Crypto Misuse Anomaly Detection (CMAD), para identificação de padrões anômalos em sessões TLS e uso indevido de primitivas criptográficas. Avaliações experimentais conduzidas em um ambiente com 1.200 ativos e 18 TB de tráfego TLS demonstraram redução de 63% no tempo médio de identificação de configurações inseguras e detecção de 94,7% de sessões TLS vulneráveis a downgrade com taxa de falso positivo de 3,1%. A arquitetura proposta apresentou overhead médio inferior a 4,8% no throughput de rede. Um estudo de caso baseado em cenário real de ransomware evidenciou a capacidade do sistema em identificar padrões de criptografia maliciosa antes da exfiltração completa dos dados. Concluímos que a integração entre formalização criptográfica, telemetria operacional e automação de resposta é fundamental para reduzir a superfície de ataque criptográfica. Este trabalho contribui com uma abordagem prática e mensurável para resiliência criptográfica corporativa, oferecendo diretrizes operacionais para equipes de segurança, SOCs e arquitetos de infraestrutura.
Read paper →CryptoArquitetura Criptográfica Resiliente para Infraestruturas Críticas: Modelagem Formal, Defesa Ativa e Avaliação Empírica contra Ameaças Avançadas
A crescente sofisticação de campanhas de ciberespionagem, ransomware e operações híbridas tem exposto fragilidades estruturais em implementações criptográficas de sistemas corporativos e infraestruturas críticas. Incidentes envolvendo exploração de TLS mal configurado, comprometimento de chaves privadas, uso indevido de curvas elípticas fracas e ataques a bibliotecas como OpenSSL (ex.: CVE-2014-0160 – Heartbleed) demonstram que a segurança criptográfica não depende apenas da robustez matemática dos algoritmos, mas de sua implementação, gestão de chaves e integração operacional. Neste trabalho, propomos uma arquitetura criptográfica resiliente baseada em três pilares: (i) modelagem formal do adversário com capacidades realistas segundo MITRE ATT&CK, (ii) orquestração automatizada de rotação e verificação de chaves com validação criptográfica contínua, e (iii) monitoramento ativo de degradação criptográfica via telemetria de rede e análise comportamental. Desenvolvemos um framework experimental integrando HSMs, OpenSSL 3.x com providers customizados, Suricata, Zeek e módulos de detecção baseados em YARA e Sigma. Avaliamos a solução em um ambiente controlado com 120 nós distribuídos, simulando ataques como downgrade de protocolo (T1190), exfiltração via canais criptografados (T1041) e comprometimento de material criptográfico (T1552). Os resultados indicam redução de 73% no tempo médio de detecção de anomalias criptográficas (MTTD) e mitigação automática de 92% das tentativas de uso de certificados inválidos ou expirados. O overhead médio de desempenho permaneceu inferior a 4,8% em cargas TLS com ECDHE-RSA-AES256-GCM-SHA384. Contribuímos com: (C1) uma formalização matemática do problema de degradação criptográfica operacional; (C2) um algoritmo de verificação contínua de propriedades de segurança; (C3) evidência empírica quantitativa da eficácia da arquitetura. Os resultados demonstram que a segurança criptográfica operacional requer integração entre teoria formal, engenharia segura e defesa ativa baseada em telemetria.
Read paper →CryptoArquitetura Criptográfica Adaptativa e Verificável para Infraestruturas Distribuídas: Formalização, Implementação e Avaliação Empírica sob Modelo de Ameaças Avançado
A adoção massiva de criptografia em infraestruturas distribuídas — abrangendo serviços em nuvem, redes blockchain e sistemas ciberfísicos — tem sido acompanhada por um crescimento proporcional na exploração de falhas de implementação, configuração e composição criptográfica. Incidentes recentes associados a validação inadequada de certificados, reutilização de nonces em protocolos AEAD e vulnerabilidades como CVE-2022-0778 (OpenSSL) evidenciam a lacuna entre segurança formal e segurança operacional. Neste trabalho, propomos uma Arquitetura Criptográfica Adaptativa e Verificável (ACAV) destinada a mitigar falhas sistêmicas em ambientes distribuídos de alta escala. Nossa abordagem integra (i) verificação formal de propriedades criptográficas baseada em lógica temporal, (ii) rotação adaptativa de chaves orientada a risco e (iii) monitoramento contínuo de uso criptográfico com detecção de anomalias. Formalizamos o problema como uma otimização multiobjetivo que minimiza risco residual $R(t)$ sujeito a restrições de latência e throughput. Implementamos um protótipo sobre Kubernetes, OpenSSL 3.0 e módulos HSM compatíveis com FIPS 140-3, avaliando-o em um cluster de 64 nós. Resultados experimentais demonstram redução de 47,3% no risco estimado de comprometimento de chave sob modelo Dolev-Yao estendido, com overhead médio de latência de 3,8% (±0,6%) e impacto inferior a 2,1% no throughput para cargas TLS 1.3 com 10.000 conexões simultâneas. Comparado a políticas estáticas de rotação periódica, o ACAV reduziu eventos de reutilização indevida de material criptográfico em 92%. Concluímos que a integração sistemática entre verificação formal, telemetria criptográfica e adaptação dinâmica constitui uma estratégia viável e escalável para fortalecer a resiliência criptográfica em infraestruturas modernas.
Read paper →CryptoCryptoResilient: Uma Arquitetura Criptográfica Adaptativa e Formalmente Verificável para Mitigação de Ataques Avançados em Infraestruturas Distribuídas
A crescente complexidade das infraestruturas distribuídas contemporâneas, caracterizadas por microsserviços, ambientes multi-cloud, computação confidencial e integração com sistemas baseados em inteligência artificial, impõe novos desafios à engenharia criptográfica. Embora primitivas modernas como TLS 1.3 e modos AEAD ofereçam garantias formais robustas, incidentes recentes demonstram que a segurança sistêmica depende criticamente de gestão dinâmica de chaves, correta implementação e adaptação contínua a modelos de ameaça evolutivos. Neste trabalho, propomos a arquitetura CryptoResilient, uma abordagem criptográfica adaptativa e formalmente verificável que integra monitoramento contínuo de risco, orquestração dinâmica de políticas criptográficas e verificação formal incremental baseada em SMT. Formalizamos o problema de adaptatividade criptográfica como um jogo probabilístico contra adversário adaptativo com observação parcial, definindo uma métrica quantitativa de exposição temporal de chaves. Demonstramos, sob hipóteses explícitas, que a rotação adaptativa condicionada a indicadores de risco reduz linearmente a exposição esperada quando comparada a estratégias periódicas fixas. Implementamos um protótipo em Kubernetes 1.29, utilizando OpenSSL 3.2, HashiCorp Vault, HSM compatível com PKCS11 v3.1, e integração com mecanismos de observabilidade via Prometheus e eBPF. Adicionalmente, incorporamos mecanismos de crypto-agility compatíveis com algoritmos pós-quânticos padronizados pelo NIST em 2024, como CRYSTALS-Kyber e CRYSTALS-Dilithium. Avaliamos empiricamente o sistema em cluster de 64 nós sob carga de 40.000 requisições por segundo, observando redução estatisticamente significativa da janela média de exposição a chaves comprometidas, com sobrecarga inferior a 7% em throughput. Os resultados indicam que a integração entre adaptatividade criptográfica e verificação formal contínua é viável em ambientes de produção, oferecendo ganhos mensuráveis de resiliência contra ataques de replay, comprometimento parcial de nós e técnicas catalogadas no MITRE ATT&CK. Concluímos discutindo implicações para governança criptográfica, conformidade regulatória e transição para cenários pós-quânticos.
Read paper →CryptoCriptoanálise Comportamental e Monitoramento Adaptativo de Chaves em Infraestruturas Híbridas: Uma Arquitetura Criptográfica Resiliente a Ameaças Avançadas Persistentes
A crescente complexidade das infraestruturas híbridas, combinando ambientes on-premises, nuvens públicas e privadas, edge computing e workloads baseados em inteligência artificial, impõe novos desafios à segurança criptográfica em 2025. A expansão de arquiteturas Zero Trust, a adoção de criptografia pós-quântica e o uso massivo de modelos de linguagem de grande porte (LLMs) ampliaram a superfície de ataque, especialmente no que se refere à gestão e ao ciclo de vida de chaves criptográficas. Neste trabalho, propomos uma arquitetura formal de criptoanálise comportamental combinada com monitoramento adaptativo de chaves, projetada para detectar e mitigar ameaças avançadas persistentes (APTs) em infraestruturas híbridas. Fundamentamos nossa proposta em modelos formais de segurança baseados em jogos, análise probabilística de desvios comportamentais e verificação de propriedades de segurança por meio de invariantes criptográficos. Introduzimos um modelo matemático de detecção baseado em divergência estatística e aprendizado de máquina robusto a envenenamento de dados, integrando telemetria proveniente de eBPF, CNAPPs (Cloud-Native Application Protection Platforms) e sistemas de gestão de chaves compatíveis com FIPS 140-3. Avaliamos a arquitetura sob cenários realistas envolvendo exfiltração de chaves, ataques de lateralização em clusters Kubernetes e exploração de pipelines de MLOps. Os resultados indicam redução significativa do tempo médio de detecção (MTTD) e fortalecimento das garantias de confidencialidade e integridade sob o modelo de adversário adaptativo. Demonstramos, ainda, a compatibilidade da proposta com algoritmos pós-quânticos padronizados pelo NIST, como CRYSTALS-Kyber e CRYSTALS-Dilithium, preservando propriedades formais de segurança. Concluímos que a integração entre criptoanálise comportamental e monitoramento adaptativo constitui um paradigma promissor para defesa criptográfica resiliente em ecossistemas digitais contemporâneos.
Read paper →CryptoCriptoResiliente: Uma Arquitetura Adaptativa e Formalmente Verificada para Mitigação de Falhas Criptográficas em Ambientes Distribuídos de Alta Escala
A criptografia moderna constitui o alicerce de segurança de sistemas distribuídos, assegurando confidencialidade, integridade, autenticidade e não repúdio. Embora primitivas como AES, RSA, ECDSA e o protocolo TLS 1.3 permaneçam formalmente seguras sob hipóteses computacionais clássicas, a experiência empírica demonstra que a maioria dos incidentes decorre de falhas de implementação, configuração, gestão de chaves e integração sistêmica. Em 2025, a transição para padrões pós-quânticos do NIST, a adoção massiva de arquiteturas nativas em nuvem, CNAPP (Cloud-Native Application Protection Platforms), instrumentação com eBPF e a incorporação de componentes baseados em IA/LLMs ampliam significativamente a superfície de ataque e a complexidade operacional. Neste trabalho, propomos CriptoResiliente, uma arquitetura criptográfica adaptativa com verificação formal incremental, projetada para mitigar falhas criptográficas em ambientes distribuídos de alta escala. Introduzimos um modelo matemático de risco $R(k,t)$ para chaves criptográficas, incorporando tempo de exposição, vulnerabilidades associadas e intensidade de ataques observados, e formulamos um problema de otimização sujeito a restrições de custo computacional. Demonstramos que uma política de rotação orientada a risco reduz significativamente o tempo médio de exposição sob modelo adversarial com controle de rede e comprometimento parcial de nós. Implementamos um protótipo em Kubernetes 1.29 com TLS 1.3 híbrido (X25519 + ML-KEM), integração com HSM compatível com FIPS 140-3, telemetria via eBPF e Prometheus, e verificação formal com ProVerif. Em avaliação experimental com até $10^7$ sessões TLS/dia, observamos redução de 73,4% no tempo médio de exposição e overhead inferior a 10%, com significância estatística ($p < 0{,}01$). Concluímos que a combinação de criptografia ágil, monitoramento orientado a risco e verificação formal incremental constitui abordagem viável e escalável para segurança criptográfica resiliente em 2025, inclusive sob requisitos de transição pós-quântica e governança de IA.
Read paper →CryptoArquitetura Criptográfica Adaptativa com Provas de Integridade Pós-Quântica para Infraestruturas Críticas Distribuídas
A transição para a criptografia pós-quântica impõe desafios substanciais à segurança de infraestruturas críticas distribuídas, especialmente diante da necessidade de preservar interoperabilidade, desempenho e garantias formais de segurança durante o período de migração. Neste trabalho, propomos a Arquitetura Criptográfica Adaptativa com Provas de Integridade Pós-Quântica (ACAPQ), um modelo híbrido que combina primitivas clássicas e pós-quânticas com mecanismos formais de atestação contínua de integridade. Fundamentamos a confidencialidade na composição robusta entre ECDHE e CRYSTALS-Kyber, com derivação de chaves via HKDF autenticado pelo transcript completo do handshake, mitigando ataques de downgrade. Para integridade e autenticidade de estado, introduzimos um protocolo de atestação baseado em árvores de Merkle e assinaturas CRYSTALS-Dilithium, fornecendo garantias probabilísticas quantificáveis sob resistência a segunda pré-imagem e EUF-CMA. Formalizamos o modelo de ameaça no paradigma computacional com adversário probabilístico polinomial com capacidade de interceptação ativa, comprometimento adaptativo parcial e poder computacional quântico modelado pela classe BQP. Demonstramos que, sob a hipótese de independência estatística dos segredos híbridos, a chave derivada mantém indistinguibilidade mesmo diante de futura quebra das primitivas clássicas. Implementamos um protótipo em Go 1.22 utilizando liboqs e avaliamos o desempenho em ambiente Kubernetes 1.29, sob carga de 50.000 requisições por segundo. Os resultados indicam sobrecarga inferior a 12% em latência e throughput quando comparado ao TLS 1.3 tradicional, mantendo taxas de detecção de manipulação superiores a 99%. A análise discute implicações para CNAPP, ambientes nativos de nuvem, uso de eBPF para observabilidade segura e governança criptográfica alinhada às diretrizes NIST e ENISA até 2025. Concluímos que a ACAPQ oferece um caminho formalmente fundamentado e operacionalmente viável para a transição pós-quântica em infraestruturas críticas distribuídas.
Read paper →