#1Tools for implementing, analyzing, breaking, and implementing cryptographic systems and algorithms.
Kitploit recommended
tamarin-prover/tamarin-proverSymbolic verification tool for security protocols using multiset rewriting and constraint solving to prove secrecy, authentication, and equivalence…
scille/parsec-cloudOpen source Dropbox-like file sharing with full client encryption !
gojue/ecaptureCapture SSL/TLS plaintext with eBPF—no MITM proxy or custom CA installation. Supports Linux and Android on x86_64 and arm64.
bitcoin/bitcoinFull-node Bitcoin client that validates transactions and blocks on the peer-to-peer network, with integrated wallet, cryptographic security, and…
newaetech/chipwhispererOpen-source hardware security toolchain for power trace capture, side-channel analysis, and glitching/fault-injection attacks on embedded devices and…
tls-attacker/tls-attackerJava-based framework for systematic fuzzing and analysis of TLS libraries. Enables arbitrary protocol message crafting, modification, and testing of…
wolfssl/wolfsslThe wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS…
bitwarden/clientsBitwarden client apps (web, browser extension, desktop, and cli).
caddyserver/caddyFast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
freerdp/freerdpFreeRDP is a free remote desktop protocol library and clients
owasp/cheatsheetseriesThe OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
matthart1983/netwatchReal-time network diagnostics in your terminal. One command, zero config, instant visibility.
xddxdd/nixos-configLan Tian's NixOS Configuration
hacktricks-wiki/hacktricksWelcome to the page where you will find each trick/technique/whatever I have learnt in CTFs, real life apps, and reading researches and news.
hashcat/hashcatWorld's fastest and most advanced password recovery utility
data-privacy-stack/presidioAn open-source framework for detecting, redacting, masking, and anonymizing sensitive data (PII) across text, images, and structured data. Supports…
secdev/scapyPython-based interactive packet manipulation library for forging, decoding, sending, capturing, and analyzing network packets across a wide range of…
z3prover/z3High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…
