@misc{indiciae8bbf5d0e196b,
  title = {Vulnerability Abundance: A formal proof of infinite vulnerabilities in code},
  author = {Eireann Leverett and Jeroen van der Ham-de Vos},
  year = {2026},
  url = {https://arxiv.org/abs/2604.07539},
  note = {Source identifier: 2604.07539}
}