
tamarin-prover
Ferramenta de verificação simbólica para protocolos de segurança usando reescrita de multiconjuntos e resolução de restrições para provar…
Atualizações editoriais breves de ferramentas de cibersegurança publicadas.

Ferramenta de verificação simbólica para protocolos de segurança usando reescrita de multiconjuntos e resolução de restrições para provar…

Red team de IA local-first para segurança de aplicações web, API e LLM. Raciocínio no estilo de atacante, descobertas respaldadas por evidências e…

Agentes autônomos de pentesting com IA — reconhecimento em tempo real, detecção de vulnerabilidades e orquestração de exploração. Go + TypeScript.

PEASS - Suíte de Scripts Incríveis para Escalada de Privilégios (com cores)

Plano de controlo de runtime auto-hospedado para agentes de IA. Observe ou aprove (HITL) ou bloqueie chamadas de ferramentas maliciosas antes de…

Weekly updated list of missing CVEs in nuclei templates official repository. Mainly built for bug bounty, but useful for penetration tests and…

Servidor DNS passivo que detecta buckets de armazenamento em nuvem expostos (AWS S3, GCP, Azure) resolvendo requisições DNS, rastreando cadeias CNAME…

VPN mesh ponto a ponto criptografada para perícia forense móvel remota, permitindo aquisição sem fio via ADB e libimobiledevice, monitoramento de…

Plataforma de Análise Inteligente de Componentes que utiliza SBOMs para identificar e reduzir riscos na cadeia de suprimentos de software por meio de…

Console de triagem DFIR para hosts Windows que encadeia coleta de artefatos, linhas do tempo correlacionadas com Sigma, varreduras YARA, inspeção de…

Estrutura de OSINT de domínios e reconhecimento de segurança executando 26 módulos paralelos para DNS, portas, subdomínios, credenciais vazadas,…

🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.