Home

DeltaCert-Agent Wiki

DeltaCert-Agent performs selective security recertification for evolving tool-using LLM agents. It determines what changed, estimates affected assurance claims, selects tests that must be re-executed, and escalates when impact cannot be bounded safely.

Documentation

• Getting Started
• Architecture
• Security and Threat Model
• DeltaBench
• Experiment Protocol
• Results
• Reproducibility
• Repository Structure
• FAQ
• Citation

Final experiment snapshot

• 31,396 recorded evidence rows
• 75.02% mean regression-detection recall
• 55.01% equal-budget random recall
• 61.35% mean test reduction
• four locally hosted LLM profiles
• five-repeat full paper protocol

The empirical claims are bounded to the evaluated configurations, models, scenarios, prompts, mutations, and sandbox policies.