
WebMirage
Adversarial image attacks on vision-language web agents, from visual grounding to browser execution

Adversarial image attacks on vision-language web agents, from visual grounding to browser execution

C-based Android static analysis framework for decompilation, secret detection, endpoint discovery, permission analysis, and native library scanning…

Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

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

An Evaluation Agent for Detecting Misinformation and Knowledge Poisoning in Retrieval-Augmented Generation Systems.

An ML powered Graph-Based Multi-Architecture Approach for ROP Gadget Detection

A Binary Genetic Traits Lexer Framework

The code of VulTriage: Triple-Path Context Augmentation for LLM-Based Vulnerability Detection

VulnAgent-X: A Layered Agentic Framework for Repository-Level Vulnerability Detection

Ensemble framework for software vulnerability detection and repair using multiple large language models, with consensus analysis and evaluation tools…

A Semantics-Enhanced Learnable Vulnerability Detector