Constrained Decoding for Secure Code Generation. - Yanjun Fu; Ethan Baker; Yizheng Chen (CoRR, 2024)