Benchmarking Prompt Engineering Techniques for Secure Code Generation with GPT Models | IEEE Conference Publication | IEEE Xplore