Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem
Die Studie „Broken Quantum" führt die erste umfassende formale Sicherheitsprüfung des Open-Source-Ökosystems für Quantencomputing-Simulatoren durch, bei der mittels des COBALT QAI-Tools 547 kritische Schwachstellen in 45 Frameworks identifiziert und formal verifiziert wurden, darunter neuartige Angriffsvektoren wie QASM-Injektion und ein dokumentierter Fall der Übertragung von Sicherheitslücken in US-Nationallabor-Infrastrukturen.