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

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

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

Agentic Framework for Synthesizing CodeQL Queries

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

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

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

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

Qiskit-based resource estimation framework for space-efficient quantum modular inversion and affine point-addition circuits used in elliptic-curve…

Multi-layer security framework for AI agent ecosystems. Provides pre-installation skill auditing, file integrity monitoring, runtime protection, and…

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

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

PowerShell Obfuscation Detection Framework

Staged static taint analysis framework for GitHub Actions workflows. Detects code injection vulnerabilities using taint-tracking and an impact…