TY  - RPRT
TI  - Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem
AU  - Dominik Blain
PY  - 2026
UR  - https://arxiv.org/abs/2604.06712
ID  - 2604.06712
ER  -