Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code. - Dominik Blain; Maxime Noiseux (CoRR, 2026)

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem. - Dominik Blain (CoRR, 2026)

COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery. - Dominik Blain (CoRR, 2026)

Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure. - Dominik Blain (CoRR, 2026)