
tamarin-prover
Symbolisches Verifikationswerkzeug für Sicherheitsprotokolle, das Multiset-Rewriting und Constraint-Solving nutzt, um Geheimhaltungs-,…
Kurze redaktionelle Updates zu veröffentlichten Cybersicherheits-Tools.

Symbolisches Verifikationswerkzeug für Sicherheitsprotokolle, das Multiset-Rewriting und Constraint-Solving nutzt, um Geheimhaltungs-,…

Local-first KI-Red-Team für Web-, API- und LLM-Anwendungssicherheit. Angreiferorientierte Argumentation, evidenzbasierte Befunde und Skills für…

Autonome KI-Pentesting-Agenten — Echtzeit-Aufklärung, Schwachstellenerkennung und Exploit-Orchestrierung. Go + TypeScript.

PEASS – Privilegieneskalations-Awesome-Skripte-SUITE (mit Farben)

Selbstgehostete Laufzeit-Kontrollebene für KI-Agenten. Beobachten oder HITL-genehmigen oder blockieren Sie betrügerische Tool-Aufrufe, bevor sie…

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

Passiver DNS-Server, der exponierte Cloud-Speicher-Buckets (AWS S3, GCP, Azure) erkennt, indem er DNS-Anfragen auflöst, CNAME-Ketten verfolgt und…

Verschlüsseltes Peer-to-Peer-Mesh-VPN für Remote-Forensik mobiler Geräte, das drahtlose ADB- und libimobiledevice-Erfassung, Netzwerküberwachung und…

Intelligente Komponentenanalyse-Plattform, die SBOMs nutzt, um Software-Lieferkettenrisiken zu identifizieren und zu reduzieren – durch…

Windows-Host-DFIR-Triage-Konsole, die Artefaktsammlung, Sigma-korrelierte Timelines, YARA-Scans, Socket- und Kontoinspektion, Indikator-Anreicherung…

Domain-OSINT- und Sicherheits-Reconnaissance-Framework, das 26 parallele Module für DNS, Ports, Subdomains, geleakte Anmeldedaten, exponierte…

🔒 Konsolidiert und erweitert Hosts-Dateien aus mehreren sorgfältig kuratierten Quellen. Optional können Erweiterungen für Pornografie, soziale…