@misc{indiciaefc0de1b9c739, title = {Instruction Tuning for Secure Code Generation}, author = {Jingxuan He and Mark Vero and Gabriela Krasnopolska and Martin Vechev}, year = {2024}, url = {https://arxiv.org/abs/2402.09497}, note = {Source identifier: 2402.09497} }