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

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


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…

Testing TLS/SSL encryption anywhere on any port

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

SSH server & client security auditing (banner, key exchange, encryption, mac, compression, compatibility, security, etc)

A comprehensive, step-by-step guide to mastering cybersecurity from beginner to expert level with curated resources, tools, and career guidance

A dead simple tool to sign files and verify digital signatures.

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

Golang malware development library

🔐 A CLI tool to extract server certificates

Decentralized feeds using BitTorrent's DHT. Idea from Arvid and The_8472 "DHT RSS feeds" http://libtorrent.org/dht_rss.html

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

Finding secrets in kernel and user memory

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