{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T17:15:25Z","timestamp":1770138925339,"version":"3.49.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T00:00:00Z","timestamp":1763078400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T00:00:00Z","timestamp":1763078400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002367","name":"Chinese Academy of Sciences","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002367","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,14]]},"DOI":"10.1109\/trustcom66490.2025.00061","type":"proceedings-article","created":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T20:42:41Z","timestamp":1770064961000},"page":"492-503","source":"Crossref","is-referenced-by-count":0,"title":["SCodeGen: A Real-Time Trustworthy Constrained Decoding Framework for Secure Code Generation with LLMs"],"prefix":"10.1109","author":[{"given":"Muzi","family":"Qu","sequence":"first","affiliation":[{"name":"Chinese Academy of Sciences,Institute of Software,Beijing,China,100190"}]},{"given":"Jie","family":"Liu","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences,Institute of Software,Beijing,China,100190"}]},{"given":"Liangyi","family":"Kang","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences,Institute of Software,Beijing,China,100190"}]},{"given":"Shuyi","family":"Ling","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences,Institute of Software,Beijing,China,100190"}]},{"given":"Shuai","family":"Wang","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences,Institute of Software,Beijing,China,100190"}]},{"given":"Dan","family":"Ye","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences,Institute of Software,Beijing,China,100190"}]},{"given":"Tao","family":"Huang","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences,Institute of Software,Beijing,China,100190"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Code llama: Open foundation models for code","author":"Roziere","year":"2023"},{"key":"ref2","article-title":"StarCoder: May the Source be With You!","author":"Li","year":"2023","journal-title":"Transactions on machine learning research"},{"key":"ref3","article-title":"DeepSeek-Coder: When the Large Language Model Meets Programming\u2013The Rise of Code Intelligence","author":"Guo","year":"2024"},{"key":"ref4","article-title":"Evaluating large language models trained on code","author":"Chen","year":"2021"},{"key":"ref5","article-title":"SourceFinder: Finding malware SourceCode from publicly available repositories in GitHub","volume-title":"23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020)","author":"Rokon"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3643674"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3748647"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3610721"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3716848"},{"key":"ref10","volume-title":"GitHub Copilot makes insecure code even less secure, Snyk says","author":"Krill","year":"2024"},{"key":"ref11","article-title":"Hexacoder: Secure code generation via oracleguided synthetic training data","author":"Hajipour","year":"2024"},{"key":"ref12","article-title":"Instruction Tuning for Secure Code Generation","volume-title":"International Conference on Machine Learning","author":"He"},{"key":"ref13","article-title":"Constrained Decoding for Secure Code Generation","author":"Fu","year":"2024","journal-title":"CoRR"},{"key":"ref14","volume-title":"Stubborn Weaknesses in the CWE Top 25","year":"2024"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-1041"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.emnlp-main.779"},{"key":"ref17","article-title":"Synchromesh: Reliable Code Generation from Pre-trained Language Models","volume-title":"International Conference on Learning Representations","author":"Poesia"},{"key":"ref18","article-title":"SynCode: LLM generation with grammar augmentation","author":"Ugare","year":"2024","journal-title":"Transactions on Machine Learning Research"},{"key":"ref19","first-page":"9538","article-title":"Cold decoding: Energy-based constrained text generation with langevin dynamics","volume":"35","author":"Qin","year":"2022","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref20","article-title":"CRANE: Reasoning with constrained LLM generation","volume-title":"Forty-second International Conference on Machine Learning","author":"Banerjee"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623175"},{"key":"ref22","article-title":"RealSafe-R1: Safety-Aligned DeepSeek-R1 without Compromising Reasoning Capability","volume-title":"ICML 2025 Workshop on Reliable and Responsible Foundation Models","author":"Zhang"},{"key":"ref23","article-title":"Enhancing security of AI-based code synthesis with GitHub copilot via cheap and efficient prompt-engineering","author":"Homoliak","year":"2024"},{"key":"ref24","article-title":"Codexity: secure AI-assisted code generation","author":"Kim","year":"2024"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.emnlp-main.144"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1145\/3691621.3694934","article-title":"Sallm: Security assessment of generated code","volume-title":"Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering Workshops","author":"Siddiq"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i12.26739"},{"key":"ref28","article-title":"Qwen2. 5-Coder Technical Report","author":"Hui","year":"2024","journal-title":"CoRR"},{"key":"ref29","article-title":"Benchmarking the Security Aspect of Large Language Model-Based Code Generation","author":"Cheng","year":"2024"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3747588"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/icdsca63855.2024.10859408"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112031"},{"key":"ref33","article-title":"Llm-powered code vulnerability repair with reinforcement learning and semantic reward","author":"Islam","year":"2024"},{"key":"ref34","doi-asserted-by":"crossref","DOI":"10.1145\/3691620.3695349","article-title":"Contracttinker: Llm-empowered vulnerability repair for real-world smart contracts","volume-title":"Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering","author":"Wang"}],"event":{"name":"2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)","location":"Guiyang, China","start":{"date-parts":[[2025,11,14]]},"end":{"date-parts":[[2025,11,17]]}},"container-title":["2025 IEEE 24th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11354467\/11354567\/11354904.pdf?arnumber=11354904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T05:56:25Z","timestamp":1770098185000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11354904\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,14]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/trustcom66490.2025.00061","relation":{},"subject":[],"published":{"date-parts":[[2025,11,14]]}}}