
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…

UNIX-like reverse engineering framework and command-line toolset

Rust cryptography w/ zero required deps: hashes, checksums, MACs, KDFs, password hashing, AEADs, signatures, RSA, key exchange, ML-KEM, and ML-DSA.…

HDU IS Work 1 - Secure REST API (Flask) with CI/CD (pytest + bandit + pip-audit) and CVE-2018-17246 analysis

Build and query a graph database representation of source code

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.


Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

safely install npm packages by auditing them pre-install stage

A fork of JSONPath from http://goessner.net/articles/JsonPath/


B2R2 is a fully managed binary analysis framework written in F#. It provides a rich set of algorithms, functions, and tools for reverse engineering,…

Program for determining types of files for Windows, Linux and MacOS.

Rust-based XSS scanner with context-aware payload selection, WAF detection and bypass, crawling, blind XSS callbacks, and static DOM sink analysis.

The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection — papers…

Standards compliant HTML filter written in PHP

UNIX-like reverse engineering framework and command-line toolset.