
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

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

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.

OWASP knowledge base and validator for HTTP security response headers, providing recommendations, statistics, and automated configuration checks.

Automated framework for frontier AI safety evaluation that synthesizes executable, pressure-rich test environments to uncover latent risks in…