{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:59:37Z","timestamp":1784300377628,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T00:00:00Z","timestamp":1733097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Science Foundation","doi-asserted-by":"publisher","award":["NSF CNS-1935928"],"award-info":[{"award-number":["NSF CNS-1935928"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,2]]},"DOI":"10.1145\/3658644.3691367","type":"proceedings-article","created":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T12:19:20Z","timestamp":1733746760000},"page":"5078-5080","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Demo: SGCode: A Flexible Prompt-Optimizing System for Secure Generation of Code"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-7581-5413","authenticated-orcid":false,"given":"Khiem","family":"Ton","sequence":"first","affiliation":[{"name":"New Jersey Institute of Technology, Newark, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-9024-9844","authenticated-orcid":false,"given":"Nhi","family":"Nguyen","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology, Newark, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3375-0310","authenticated-orcid":false,"given":"Mahmoud","family":"Nazzal","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology, Newark, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1583-713X","authenticated-orcid":false,"given":"Abdallah","family":"Khreishah","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology, Newark, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0020-0910","authenticated-orcid":false,"given":"Cristian","family":"Borcea","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology, Newark, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1032-8275","authenticated-orcid":false,"given":"NhatHai","family":"Phan","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology, Newark, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1895-4243","authenticated-orcid":false,"given":"Ruoming","family":"Jin","sequence":"additional","affiliation":[{"name":"Kent State University, Kent, OH, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7660-9512","authenticated-orcid":false,"given":"Issa","family":"Khalil","sequence":"additional","affiliation":[{"name":"Qatar Computing Research Institute, Doha, QA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0994-7877","authenticated-orcid":false,"given":"Yelong","family":"Shen","sequence":"additional","affiliation":[{"name":"Microsoft Azure AI, Redmond, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Mohamed Amine Ferrag, and Lucas C Cordeiro","author":"Charalambous Yiannis","year":"2023","unstructured":"Yiannis Charalambous, Norbert Tihanyi, Ridhi Jain, Youcheng Sun, Mohamed Amine Ferrag, and Lucas C Cordeiro. 2023. A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification. arXiv preprint arXiv:2305.14752 (2023)."},{"key":"e_1_3_2_1_2_1","volume-title":"Welcome to Bandit Bandit documentation. https:\/\/bandit.readthedocs.io\/en\/latest\/ [Online","author":"Developers B.","year":"2023","unstructured":"B. Developers. 2022. Welcome to Bandit Bandit documentation. https:\/\/bandit.readthedocs.io\/en\/latest\/ [Online; accessed 1. June 2023]."},{"key":"e_1_3_2_1_3_1","volume-title":"Research: Quantifying GitHub Copilot's impact on code quality. https:\/\/github.com\/features\/copilot. [Online","year":"2023","unstructured":"Github. 2023. Research: Quantifying GitHub Copilot's impact on code quality. https:\/\/github.com\/features\/copilot. [Online; accessed 17-June-2024]."},{"key":"e_1_3_2_1_4_1","unstructured":"Jingxuan He Mark Vero Gabriela Krasnopolska and Martin Vechev. 2024. Instruction Tuning for Secure Code Generation. In ICML."},{"key":"e_1_3_2_1_5_1","volume-title":"https:\/\/codeql.github.com\/docs\/ [Online","author":"GitHub Inc. 2021. CodeQL Documentation.","year":"2023","unstructured":"GitHub Inc. 2021. CodeQL Documentation. https:\/\/codeql.github.com\/docs\/ [Online; accessed 4-Dec-2023]."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Mahmoud Nazzal Issa Khalil Abdallah Khreishah and NhatHai Phan. 2024. textttPromSec: Prompt Optimization for Secure Generation of Functional Source Code with Large Language Models (LLMs). In ACM CCS.","DOI":"10.1145\/3658644.3690298"},{"key":"e_1_3_2_1_7_1","volume-title":"Asleep at the keyboard? assessing the security of github copilot's code contributions","author":"Pearce Hammond","unstructured":"Hammond Pearce, Baleegh Ahmad, Benjamin Tan, Brendan Dolan-Gavitt, and Ramesh Karri. 2022. Asleep at the keyboard? assessing the security of github copilot's code contributions. In IEEE S&P. 754--768."},{"key":"e_1_3_2_1_8_1","unstructured":"Sebasti\u00e1n Ram\u00edrez. 2024. FastAPI. https:\/\/fastapi.tiangolo.com"},{"key":"e_1_3_2_1_9_1","volume-title":"A Lightweight Framework for High-Quality Code Generation. arXiv:2307.08220","author":"Siddiq Mohammed Latif","year":"2023","unstructured":"Mohammed Latif Siddiq, Beatrice Casey, and Joanna Santos. 2023. A Lightweight Framework for High-Quality Code Generation. arXiv:2307.08220 (2023)."}],"event":{"name":"CCS '24: ACM SIGSAC Conference on Computer and Communications Security","location":"Salt Lake City UT USA","acronym":"CCS '24","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3691367","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658644.3691367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T06:20:23Z","timestamp":1755843623000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3691367"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,2]]},"references-count":9,"alternative-id":["10.1145\/3658644.3691367","10.1145\/3658644"],"URL":"https:\/\/doi.org\/10.1145\/3658644.3691367","relation":{},"subject":[],"published":{"date-parts":[[2024,12,2]]},"assertion":[{"value":"2024-12-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}