Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem
Cette étude présente « Broken Quantum », la première audit formel complet de l'écosystème des simulateurs de calcul quantique open-source, révélant 547 vulnérabilités critiques (dont un vecteur d'attaque QASM inédit) et démontrant, via des preuves de satisfiabilité Z3, des failles systémiques affectant des frameworks majeurs et leur propagation dans l'infrastructure des laboratoires nationaux américains.