#1Paper di sicurezza, progetti di ricerca, riferimenti tecnici e materiale riproducibile per analisi difensive o autorizzate.
Raccomandato da Kitploit

Framework di test della correttezza transazionale basato su Jepsen per DuckDB, che rileva anomalie di isolamento come violazioni G2-item e SSI…
Questo repository contiene il codice e i dettagli di invio per la sfida del premio QDay di https://www.projecteleven.com/

Framework multi-motore per l'unpacking e l'analisi di binari protetti da VM usando dynamic taint tracking, symbolic execution, pattern classification…

Imparare l'analisi binaria di Linux, pubblicato da Packt

Ho replicato il metodo RYS di Ng e ho scoperto che duplicare 3 specifici layer in Qwen2.5-32B aumenta il ragionamento del 17% e duplicare i layer…

Framework di valutazione che verifica se i modelli linguistici di grandi dimensioni seguono istruzioni invisibili codificate in Unicode, incorporate…

Questa ricerca tecnica e revisione è a fini educativi su codice pubblico e costituisce Fair Dealing ai sensi del Copyright Act (Canada).

Agent Control Protocol (ACP) — Official English specification. Cryptographically verifiable authorization architecture for autonomous AI agents.

793 coppie confondibili mancanti da Unicode TR39, primo dataset cross-script al mondo, scoring SSIM consapevole dei font su 230 font e oltre 22.000…

Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

Rilevatore di rootkit Linux basato su eBPF che utilizza analisi multi-canale a vista incrociata (sched_switch, NMI, /proc) per rilevare DKOM,…

Crittografia da Morfismi di Fascio Non Lineari su Grafi

Libro open-source completo su SELinux che copre componenti del kernel, librerie userspace, toolchain delle policy e linguaggio delle policy. Include…

Protocollo IPC dell'agente Logi Options+ ottenuto tramite reverse engineering. Passa da dispositivi Logitech multi-host programmaticamente tramite…

PhishCollector è un framework di ricerca per raccogliere, analizzare e tracciare siti di phishing.

Un approccio multi-architettura basato su grafi potenziato da ML per il rilevamento di gadget ROP

Rimozione automatica completa della censura per modelli linguistici

Repository per CoSAI Workstream 4, Pattern di progettazione sicuri per sistemi agentici