
tamarin-prover
Symbolic verification tool for security protocols using multiset rewriting and constraint solving to prove secrecy, authentication, and equivalence…

Symbolic verification tool for security protocols using multiset rewriting and constraint solving to prove secrecy, authentication, and equivalence…

RSA attack tool (mainly for ctf) - retrieve private key from weak public key and/or uncipher data

CLI Encryption tool written in Go only for learning purposes (not secure)

NØW is a word-based shellcode encoding and obfuscation tool that transforms raw shellcode bytes into natural-looking English prose.

Chepy is a python lib/cli equivalent of the awesome CyberChef tool.

Research tool for studying vulnerable cryptographic key generation (brainwallet, PRNG, milksad, LCG, xorshift)

Practical labs, notes, and reports for CEH v13 modules — covering web hacking, network pentesting, malware analysis, social engineering, and security…

Tool to check whether a PGP client is affected by CVE-2021-33560

This tool generates BIP-39 mnemonic phrases derived from Unix timestamps, exploring the 'Milk Sad' vulnerability's implications (CVE-2023-39910)


Simple shell script to "clone" X.509 certificates

HIDEAGEM experimental steganography platform.

Cross-platform security toolkit for encoding, classical and modern cryptography, hash computation, and online reconnaissance queries, designed for…


EXOCET - AV-evading, undetectable, payload delivery tool

Test tool to demonstrate the vulnerability of CVE-2022-21449

Cryptovenom: The Cryptography Swiss Army Knife