
break-golf
Cryptanalysis golf: break schemes and prove it in Lean 4. Proof-of-concept board.

Cryptanalysis golf: break schemes and prove it in Lean 4. Proof-of-concept board.
Artifacts for the USENIX publication.

Software-only proof of concept for CVE-2025-52464 in Meshtastic Direct Messages

Key Negotiation Of Bluetooth (KNOB) attacks on Bluetooth BR/EDR and BLE [CVE-2019-9506]

Industry-standard open-source toolkit implementing SSL/TLS protocols and a comprehensive cryptography library for encryption, decryption, hashing,…

OpenSSL Heartbleed (CVE-2014-0160) vulnerability scanner, data miner and RSA key-restore tools.

Robust open-source cryptography library implementing SSL/TLS protocols, general encryption, and X.509 certificate handling for secure communications.

Robust open-source toolkit implementing TLS/SSL protocols and a full-strength cryptographic library for encryption, decryption, certificate…

Full-strength cryptographic library with SSL/TLS protocol support, encryption, decryption, hashing, and X.509 certificate management for secure…

Repository to index useful tools for CTF's

Python implementations of cryptographic attacks and utilities.

Software to identify the different types of hashes used to encrypt data and especially passwords

AI governance and evidence gateway for multi-provider LLM applications. FastAPI + optional Rust core for policy, WAF, egress, rate limits, sessions,…

Secure offline storage of credentials with encrypted vaults, password generator, TOTP, YubiKey/OnlyKey support, browser integration, and CLI.

跨平台密码学工具箱。包含编解码,编码转换,加解密, 哈希,MAC,签名,大数运算,压缩,二维码功能,CTF等功能。

Curated macOS security and privacy guide with practical instructions for threat modeling, disk encryption, firewall configuration, secure…

World's fastest and most advanced password recovery utility

The next-generation CTF Swiss Army Knife powered by Rust & Tauri. Features a visual node-based workflow and local AI intelligence for extreme…