o1js-scan
auditinfra-io/o1js-scanAbhängigkeitsfreier statischer Analysator für Soundness-Fehler in zk-Schaltkreisen bei o1js/Mina zkApps und Noir-Schaltkreisen
defensive-toolsstatic-analysisvulnerability-scanners+5
3
auditinfra-io/o1js-scanAbhängigkeitsfreier statischer Analysator für Soundness-Fehler in zk-Schaltkreisen bei o1js/Mina zkApps und Noir-Schaltkreisen
disley15-collab/bigint-buffer-jsPure-JS-Drop-in für [email protected] ohne die verwundbare native Bindung (CVE-2025-3194)
philippeabraxas-jpg/responsible-alliance-protocolSafety cannot be a prompt instruction. TBP provides an external execution-layer boundary for autonomous agents, enforcing hard F/I/W invariants via…
youkyi/pki-toolboxClientseitige PKI-Toolbox, die X.509-, CSR-, Chain-, CRL-, PKCS#7- und PKCS#12-Artefakte dekodiert, ASN.1 anzeigt, Formate konvertiert und…
paulmillr/noble-curvesAuditierte & minimale JS-Implementierung der Elliptische-Kurven-Kryptographie.
c2a2-at-florida-atlantic-university/gr-physecGNU-Radio-Modul für Physical-Layer-Sicherheit mittels Deep-Learning-Kanal-Fingerprinting, Feature-Quantisierung und SHA3-512-Schlüsselgenerierung aus…
tamarin-prover/tamarin-proverSymbolisches Verifikationswerkzeug für Sicherheitsprotokolle, das Multiset-Rewriting und Constraint-Solving nutzt, um Geheimhaltungs-,…
nicmx/fort-validatorRPKI Relying Party und RTR-Server, der BGP-Route-Origin-Autorisierungen validiert und validierte Daten über das RTR-Protokoll an Router bereitstellt.
owasp/openshieldOpen-Source-CSPM für Azure – scannt nach Fehlkonfigurationen und quantenunsicherer Kryptografie, ordnet Befunde CIS/NIST/ISO27001/SOC2 zu und behebt…
gmh5225/deluded-openssl-3.2.0Robustes Open-Source-Toolkit, das TLS-, DTLS- und QUIC-Protokolle mit einer vollwertigen kryptografischen Bibliothek implementiert, sowie ein…
davidc1212/crawRobust audio watermarking framework embedding binary messages into magnitude spectrograms, with differentiable attack simulation, Q-Former pooling,…
javascript-obfuscator/javascript-obfuscatorVerschleiert JavaScript- und Node.js-Code durch Umbenennung von Variablen, Verschlüsselung von Zeichenfolgen, Abflachung des Kontrollflusses und…
nserser/lr-webpkiReferenzimplementierung der LR+ Post-Quanten-Authentifizierung im WebPKI-CA-Kontext, mit Korpus-Pipeline, Rekonstruktion, Evaluierung und…
qubesos/qubes-secpackKuratierte Sammlung von Qubes-OS-Sicherheitsbulletins, Canaries, PGP-Schlüsseln und ISO-Prüfsummen, mit authentifizierter Verifizierung über Git-Tags…
barnew-st/ecdsa-private-key-recoveryEin kryptografisches Forschungswerkzeug zur Analyse von Signaturschwachstellen
microsoft/pqcrypto-lwekeC-Bibliothek, die FrodoKEM implementiert, einen Post-Quanten-Schlüsselkapselungsmechanismus, der auf dem Learning-with-Errors-Problem basiert, mit…
pelock/jobfuscatorVerschleiert Java-Quellcode, um ihn vor Reverse Engineering, Dekompilierung und Diebstahl geistigen Eigentums zu schützen. Benennt Variablen/Methoden…
brendonlee20042004-sys/weakrng-sweepSchwachstellen-Forschung zu schwachen RNG-Stream-Sweeps (CVE-2026-71851-Klasse): PRNG-Schemata x Seeds -> BIP39 -> Mitgliedschaft in der Opfergruppe