@article{constraineddecodingforsecurecode,
  title = {Constrained Decoding for Secure Code Generation},
  author = {Yanjun Fu and Ethan Baker and Yu Ding and Yizheng Chen},
  year = {2024},
  eprint = {2405.00218},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2405.00218v3},
}