
pharos
Automated static analysis tools for binary programs

Automated static analysis tools for binary programs

Toolkit for testing Bluetooth session establishment against forward and future secrecy attacks, using firmware patching, PCAP analysis, and automated…

Analysis of DataDome's custom obfuscated VM and bytecode format, revealing string encryption, S-box ciphers, and browser fingerprinting signals for…

Browser extension that automatically fills out cookie popups based on your preferences

Reverse engineering toolkit for PerimeterX's bytecode VM, featuring a CFG-based disassembler, 5-layer decryption pipeline, opcode table…

A lightweight tool designed to stop clickfix attacks by using clipboard formatting with execution surface checks

A deep learning toolkit for log-based anomaly detection

Master's Thesis research on CVE-2024-30051 (Windows DWM Heap Overflow). Features a high-reliability exploit with automated heap spray optimization,…

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

AIL framework - Analysis Information Leak framework. Project moved to https://github.com/ail-project

Automated Penetration Testing Agentic Framework Powered by Large Language Models

Automated testing to find logic and performance bugs in database systems

An experimentation and research platform to investigate the interaction of automated agents in an abstract simulated network environments.

LAVA: Large-scale Automated Vulnerability Addition

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

Generalized VMProtect devirtualizer supporting versions 1.x–3.x. Standalone CLI tool and Ghidra plugin for automated bytecode decoding, handler…

N-gram-based type recovery tool for binaries, recovering structures and function signatures from decompiled code with high throughput and actionable…

Automated Security Risk Identification Using AutomationML-based Engineering Data