
z3
High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

Automated steganalysis platform that detects hidden data in images using 16 parallel analyzers, bit-layer visualization, and an in-app wiki for CTF…

Testing TLS/SSL encryption anywhere on any port

Automated TLS server and client configuration scanner for pentesters and researchers. Evaluates cipher suites, protocol versions, and security…

AegisGraph: graph-based application-layer assessment evidence platform for Secure Messaging Applications (SMAs). DARPA ASEMA HR0011SB20254-12 Tier 3…

Gallery Vault dump recovery tool with automated discovery, key derivation and automatic media restoration.

O-Saft - OWASP SSL advanced forensic tool

Fast SSL/TLS scanner that discovers supported cipher suites, protocols, and vulnerabilities (Heartbleed, POODLE, CRIME) with certificate chain…

Reverse engineering toolkit for PerimeterX's bytecode VM, featuring a CFG-based disassembler, 5-layer decryption pipeline, opcode table…

Audits SSH servers for weak Diffie-Hellman key exchange groups by testing multiple client configurations, identifying Logjam-vulnerable endpoints…

An automated, high-precision zero-shot evaluation pipeline for OpenAI's CLIP model on CIFAR-10. Features 88.80% accuracy, Safetensors security…

Auto-scan and remote exploit scripts for CVE-2020-1971 (OpenSSL NULL pointer dereference). Includes patched OpenSSL 1.1.1i source and install/update…

A library for detecting known secrets across many web frameworks

🦫 | GoRedOps is a repository dedicated to gathering and sharing advanced techniques and offensive malware for Red Team, with a specific focus on…

Collection of various malicious functionality to aid in malware development

Checks for tpm vulnerabilities

An automated, modular cryptanalysis tool; i.e., a Weapon of Math Destruction

Automated script for performing Padding Oracle attacks