@misc{indiciae93890b39b760,
  title = {Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem},
  author = {Dominik Blain},
  year = {2026},
  url = {https://arxiv.org/abs/2604.06712},
  note = {Source identifier: 2604.06712}
}