Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem
该论文介绍了名为"Broken Quantum"的首次全面形式化安全审计,利用 COBALT QAI 引擎和 Z3 求解器对全球 45 个开源量子模拟器进行了系统性分析,揭示了包括新型 QASM 注入在内的 547 个安全漏洞,并首次记录了从商业框架到美国国家实验室基础设施的供应链漏洞转移。