
o1js-scan
Analizzatore statico senza dipendenze per bug di solidità dei circuiti zk in o1js/Mina zkApps e circuiti Noir

Analizzatore statico senza dipendenze per bug di solidità dei circuiti zk in o1js/Mina zkApps e circuiti Noir

Sostituto drop-in in puro JS per [email protected] senza il binding nativo vulnerabile (CVE-2025-3194)

Safety cannot be a prompt instruction. TBP provides an external execution-layer boundary for autonomous agents, enforcing hard F/I/W invariants via…

Toolbox PKI lato client che decodifica artefatti X.509, CSR, chain, CRL, PKCS#7 e PKCS#12, visualizza ASN.1, converte formati e genera certificati…

Implementazione JS minimale e verificata di crittografia a curva ellittica.

Modulo GNU Radio per la sicurezza del livello fisico che utilizza il fingerprinting del canale tramite deep learning, la quantizzazione delle feature…

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

RPKI Relying Party e server RTR che convalida le autorizzazioni di origine delle rotte BGP e fornisce i dati convalidati ai router tramite il…

CSPM open source per Azure - scansiona configurazioni errate e crittografia non sicura dal punto di vista quantistico, mappa i risultati su…

Strumento open-source robusto che implementa i protocolli TLS, DTLS e QUIC con una libreria crittografica completa, strumento da riga di comando per…

Robust audio watermarking framework embedding binary messages into magnitude spectrograms, with differentiable attack simulation, Q-Former pooling,…

Obfuscates JavaScript and Node.js code with variable renaming, string encryption, control flow flattening, and anti-debugging to protect source code…

Implementazione di riferimento dell'autenticazione post-quantistica LR+ nel contesto WebPKI CA, con pipeline di corpus, ricostruzione, valutazione e…

Repository curato di bollettini di sicurezza di Qubes OS, canary, chiavi PGP e digest ISO, con verifica autenticata tramite tag git e firme…

Uno strumento di ricerca crittografica per analizzare le vulnerabilità delle firme

Libreria C che implementa FrodoKEM, un meccanismo di incapsulamento delle chiavi post-quantistico basato sul problema Learning with Errors, con…

Offusca il codice sorgente Java per proteggerlo da reverse engineering, decompilazione e furto di proprietà intellettuale. Rinomina variabili/metodi,…

Weak-RNG stream-sweep research (CVE-2026-71851 class): PRNG schemes x seeds -> BIP39 -> victim set membership