@misc{indiciae32800ad13cfa,
  title = {Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code},
  author = {Dominik Blain and Maxime Noiseux},
  year = {2026},
  url = {https://arxiv.org/abs/2604.05292},
  note = {Source identifier: 2604.05292}
}