Instruction Tuning for Secure Code Generation. - Jingxuan He; Mark Vero; Gabriela Krasnopolska; Martin T. Vechev (ICML, 2024)