RESEARCH

Research

Research notes and published papers from Ironproof. Every figure traces to a cited source, and each note states what it does not show.

2026-09-08 · Miguel Laursen
Zero barriers, one reviewer
Four 2026 agent containment failures, aggregated. The detection window in one was 5.5× longer than the time a comparable agent needed to fully compromise a production estate in another.

PUBLISHED PAPERS · ARXIV

arXiv:2604.05292
Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
arXiv:2604.06712
Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem
arXiv:2604.12172
COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery
arXiv:2604.20496
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure