
Win32_Hash
Password hashing and verification library for Windows, written in Ada/SPARK using the Windows CNG API (bcrypt) and proved with GNATprove.

Password hashing and verification library for Windows, written in Ada/SPARK using the Windows CNG API (bcrypt) and proved with GNATprove.

LimeRAT | Simple, yet powerful remote administration tool for Windows (RAT)

A fast universal code security scanner, written in Rust. Batteries included: supports 14 languages, TUI for triage, secrets, post-quantum audits,…

The PQC Network Scanner is a quantum‑focused network assessment tool that scans TLS/SSL certificates across enterprise environments to identify…

Reverse engineering notes, deobfuscated source, IOCs, and YARA rules for the Tourmaline ClickFix Python RAT, covering its DNS tunnel and blockchain…

Detects Windows and Linux systems with enabled Trusted Platform Modules (TPM) vulnerable to CVE-2017-15361. #nsacyber

Infisical is the open-source platform for secrets, certificates, and privileged access management.

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

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

Hardware tool for RFID analysis, emulation, and penetration testing. Supports 125kHz, 13.56MHz protocols (MIFARE, iClass, ISO14443/15693) with key…

Windows protocol library, including SMB and RPC implementations, among others.

CLI for generating, analyzing, merging, diffing, validating, signing, and converting CycloneDX SBOMs across JSON, XML, Protobuf, CSV, and SPDX…

First-ever decryptor for The Gentlemen ransomware — recovers encryption keys from process memory dumps using X25519 ephemeral key extraction. 35/35…

Check rclone config files for insecure passwords

Sanitized offline fixture verifier for CVE-2026-81861 in SCADAPack Secure Lock

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

PowerShell script to remediate CVE-2013-3900 by enabling certificate padding check via registry hardening on Windows systems.

Testing TLS/SSL encryption anywhere on any port