
tamarin-prover
Strumento di verifica simbolica per protocolli di sicurezza che utilizza la riscrittura di multiset e la risoluzione di vincoli per dimostrare…
Brevi aggiornamenti editoriali dagli strumenti di cybersecurity pubblicati.

Strumento di verifica simbolica per protocolli di sicurezza che utilizza la riscrittura di multiset e la risoluzione di vincoli per dimostrare…

AI red team local-first per la sicurezza di applicazioni web, API e LLM. Ragionamento in stile attaccante, risultati supportati da evidenze e…

Agenti autonomi di AI per il pentesting — ricognizione in tempo reale, rilevamento di vulnerabilità e orchestrazione dello sfruttamento. Go +…

PEASS - Suite di Script Fantastici per l'Escalation dei Privilegi (con colori)

Piano di controllo runtime self-hosted per agenti AI. Osserva o approva tramite HITL o blocca chiamate strumentali dannose prima che vengano…

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

Server DNS passivo che rileva bucket di archiviazione cloud esposti (AWS S3, GCP, Azure) risolvendo richieste DNS, tracciando catene CNAME e…

VPN mesh peer-to-peer crittografata per la forensic mobile remota, che abilita l'acquisizione wireless tramite ADB e libimobiledevice, il…

Piattaforma di analisi intelligente dei componenti che sfrutta gli SBOM per identificare e ridurre il rischio della supply chain software attraverso…

Console di triage DFIR per host Windows che concatena raccolta di artefatti, timeline correlate con Sigma, scansioni YARA, ispezione di socket e…

Framework OSINT e di ricognizione di sicurezza a livello di dominio che esegue 26 moduli paralleli per DNS, porte, sottodomini, credenziali…

🔒 Consolida ed estende i file hosts provenienti da diverse fonti ben curate. Opzionalmente scegli estensioni per porno, social media e altre…