Research

Agentic Vulnerability Discovery

Exploring autonomous agents for vulnerability discovery and validation.

Static Analysis

Research on program analysis, data flow analysis and vulnerability detection.

Fuzzing

Automated testing and vulnerability discovery through fuzzing.