
msynth
Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions

Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions

Small, portable embeddable SSHv2 client and server library in C with SCP, SFTP, port forwarding, and post-quantum key exchange for embedded and IoT…

Cost-of-delay prioritisation for post-quantum migration: classical and harvest-now-decrypt-later risk in one unit (USD per year). Code, proofs, case…

Python bindings for the Icicle emulator, enabling grey-box firmware fuzzing, binary emulation, and reverse-engineering workflows across x64 and ARM64…

CMake build of Ghidra's SLEIGH processor specification library, providing standalone disassembly and p-code lifting engines for reverse engineering…

Experimental x86-64 to LLVM IR lifter in Python that translates machine code into analyzable IR for reverse engineering, optimization, and VM handler…

Open source binary analysis framework and decompiler built on LLVM and QEMU, lifting binaries to a readable intermediate representation for reverse…

MCP-enabled multi-agent framework for declarative YAML-driven agentic workflows, used for AI-assisted code auditing, vulnerability triage, and…

Example AI-agent taskflows and MCP servers for auditing source code, triaging issues, and detecting vulnerabilities across web, Android, and iOS…

Collection of Python and Perl scripts for digital forensics, incident response, and network analysis, including hash signature tooling and packet…

Greybox Synthesizer geared for deobfuscation of assembly instructions.

Powershell module to get the NetNTLMv2 hash of the current user

Execute Windows commands remotely and capture output using only WMI and PowerShell (not remoting).

VulnCheck's official command line tool

Research code implementing Dynamical Low-Rank Nash Equilibrium computation for stochastic ICS security games between advanced persistent threats and…

library for importing functions from dlls in a hidden, reverse engineer unfriendly way

Rust virtual machine and JIT compiler for eBPF programs

GO Simple Tunnel - a simple tunnel written in golang