Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code explores A formal verification study revealing that over half of AI-generated code artifacts contain security vulnerabilities, with no frontier LLM achieving a passing grade.. Commercial viability score: 4/10 in AI Security.
Use This Via API or MCP
Use the canonical paper page as a proof artifact
This route is the stable paper-level surface for citations, viability, references, and downstream handoffs. Use it as the proof layer behind Signal Canvas, workspace creation, and launch-pack generation.
BUILDER'S SANDBOX
Build This Paper
Use an AI coding agent to implement this research.
OpenAI CodexAI Agent
Lightweight coding agent in your terminal.
Claude CodeAI Agent
Agentic coding tool for terminal workflows.
AntiGravity IDEScaffolding
AI agent mindset installer and workflow scaffolder.
CursorIDE
AI-first code editor built on VS Code.
VS CodeIDE
Free, open-source editor by Microsoft.
Recommended Stack
Startup Essentials
Estimated $10K - $14K over 6-10 weeks.
See exactly what it costs to build this -- with 3 comparable funded startups.
7-day free trial. Cancel anytime.
Discover the researchers behind this paper and find similar experts.
7-day free trial. Cancel anytime.
Related Papers
- Builds On ThisThe Persistent Vulnerability of Aligned AI SystemsViability: 3.0
- Prior WorkCascade: Composing Software-Hardware Attack Gadgets for Adversarial Threat Amplification in Compound AI SystemsViability: 4.0
- Higher ViabilityCompiled AI: Deterministic Code Generation for LLM-Based Workflow AutomationViability: 8.0
- Higher ViabilityCVE-Factory: Scaling Expert-Level Agentic Tasks for Code Security VulnerabilityViability: 7.0
- Higher ViabilityFrom Theory to Practice: Code Generation Using LLMs for CAPEC and CWE Frameworks
Related Resources
- Why is AI security important?(question)
- What is the focus of AI security research?(question)
- How do AI security measures protect systems?(question)
- AI Security – Use Cases(use_case)