#1Paper di sicurezza, progetti di ricerca, riferimenti tecnici e materiale riproducibile per analisi difensive o autorizzate.
Raccomandato da Kitploit
z3prover/z3Solutore SMT ad alte prestazioni per dimostrazione automatica di teoremi, risoluzione di vincoli e verifica di programmi. Supporta molteplici teorie…
cveproject/cvelistv5Cache della lista CVE ufficiale in formato CVE JSON 5
yosyshq/nextpnrnextpnr strumento portatile per posizionamento e instradamento FPGA
b2r2-org/b2r2B2R2 è un framework di analisi binaria completamente gestito scritto in F#. Fornisce un ricco insieme di algoritmi, funzioni e strumenti per il…
screenpipe/screenpipeYC (S26) | Open Computer History | Registra lo schermo in continuazione in locale e fornisci contesto ai tuoi agenti (Claude, Codex, Openclaw,…
oritwoen/bohaCrypto bounties, puzzles and challenges data library
munshi007/aura-statePython framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…
google/security-researchQuesto progetto ospita advisory di sicurezza e i relativi proof-of-concept legati alla ricerca condotta presso Google che riguardano codice non di…
securewithumer/cve-2026-pocsA community-curated, verified collection of Proof-of-Concept exploits for CVEs disclosed in 2026.
joseluispino/hardstopImplementazione di riferimento per "Hard Stop: Kernel-Level Preemption and Containment for Rogue Agentic Execution". Epistemic Andon Cord fuori…
lightless-labs/third-thoughtsStrumento di ricerca per analizzare i modelli comportamentali degli agenti AI attraverso l'analisi multidisciplinare dei corpus. Analizza i log delle…
essexrich/threatactors-ttpsRepository creato per condividere informazioni su tattiche, tecniche e procedure utilizzate da attori malevoli. Inizialmente con gruppi ransomware e…
tencent/ai-infra-guardUna piattaforma AI Red Teaming full-stack che protegge gli ecosistemi AI tramite Agent Scan, Skills Scan, MCP scan, AI Infra scan e valutazione dei…
huhusmang/awesome-llms-for-vulnerability-detectionL'indice più completo e costantemente aggiornato della community sulla ricerca relativa ai Large Language Models per il rilevamento delle…
ablation-tool/ablationFramework di reverse engineering con disassemblaggio, decompilazione, analisi del taint, diffing di versioni e ricerca semantica, oltre all'analisi…
asgeirtj/system_prompts_leaksCollezione curata di prompt di sistema estratti dai principali chatbot AI, tra cui Claude, ChatGPT, Gemini, Grok e Copilot. Aggiornata regolarmente…
owasp/german-owasp-daySito della conferenza German OWASP Day e archivio delle presentazioni
albert-y1n/pismithPISmith: Red Teaming basato su Apprendimento per Rinforzo per la Difesa da Prompt Injection
