
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…

Python-based interactive packet manipulation library for forging, decoding, sending, capturing, and analyzing network packets across a wide range of…

An open-source digital image forensic toolset

This script check if your list of server is accepting Export cipher suites and could be vulnerable to CVE-2015-0204


Exploit script for CVE-2021-27211

Python program to steganography files into images using the Least Significant Bit.

Kankun Smart Socket Hijacker and Sniffer. The kankun smart socket and its mobile app use a hardcoded AES 256 bit key to encrypt and decrypt…

Try to find the password of an encrypted Peercoin (or Bitcoin, Litecoin, etc...) wallet file.

Research runtime for differentiable neural computers, GPU-based CPU emulation, and program synthesis. Features neural ALU, constant-time crypto, JEPA…

Self Decrypting Binary Generator

Demonstrates the Java Cryptography Architecture vulnerability CVE-2022-21449, showcasing the signature verification bypass with a proof-of-concept…