


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

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

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

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

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

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

Exploit script for CVE-2021-27211

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

Self Decrypting Binary Generator

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…