@misc{indiciae9677d12e5680,
  title = {Constrained Decoding for Secure Code Generation},
  author = {Yanjun Fu and Ethan Baker and Yu Ding and Yizheng Chen},
  year = {2024},
  url = {https://arxiv.org/abs/2405.00218},
  note = {Source identifier: 2405.00218}
}