{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T15:55:55Z","timestamp":1781366155583,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T00:00:00Z","timestamp":1773187200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,11]]},"DOI":"10.1145\/3803291.3803376","type":"proceedings-article","created":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T15:29:06Z","timestamp":1781364546000},"page":"378-386","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["RepoGuard: Harmonising Security and Functional Correctness in LLM-Guided Repository-Level Code Generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-9946-7984","authenticated-orcid":false,"given":"Cassiano Darif","family":"Zago","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering, University of Bras\u00edlia, Bras\u00edlia, DF, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7100-7304","authenticated-orcid":false,"given":"F\u00e1bio L\u00facio Lopes","family":"de Mendon\u00e7a","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, University of Bras\u00edlia, Bras\u00edlia, DF, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5271-5540","authenticated-orcid":false,"given":"Georges D. Amvame","family":"Nze","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, University of Bras\u00edlia, Bras\u00edlia, DF, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5873-7502","authenticated-orcid":false,"given":"Jo\u00e3o Jos\u00e9 Costa","family":"Gondim","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, University of Bras\u00edlia, Bras\u00edlia, DF, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6717-3374","authenticated-orcid":false,"given":"Robson De Oliveira","family":"Albuquerque","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, University of Bras\u00edlia, Bras\u00edlia, DF, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-4037-4348","authenticated-orcid":false,"given":"Jorge Osvaldo A. Lima","family":"Torres","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, University of Bras\u00edlia, Bras\u00edlia, DF, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,13]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Anna Bertiger Bobby Filar Aryan Luthra Stefano Meschiari Aiden Mitchell Sam Scholten and Vivek Sharath. 2025. Evaluating LLM Generated Detection Rules in Cybersecurity. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2509.16749 [cs.CR]."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","unstructured":"Manish Bhatt Sahana Chennabasappa Cyrus Nikolaidis Shengye Wan Ivan Evtimov Dominik Gabi Daniel Song Faizan Ahmad Cornelius Aschermann Lorenzo Fontana et\u00a0al. 2023. Purple Llama CYBERSECEVAL: A Secure Coding Benchmark for Language Models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2312.04724. 10.48550\/arXiv.2312.04724","DOI":"10.48550\/arXiv.2312.04724"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Marc Bruni Fabio Gabrielli Mohammad Ghafari and Martin Kropp. 2025. Benchmarking Prompt Engineering Techniques for Secure Code Generation with GPT Models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2502.06039 [cs.SE].","DOI":"10.1109\/Forge66646.2025.00018"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Shuyu Chang Chen Geng Haiping Huang Rui Wang Qi Li and Yang Zhang. 2025. CodeSpeak: Improving smart contract vulnerability detection via LLM-assisted code analysis. The Journal of Systems and Software 231 (2025) 112635. 10.1016\/j.jss.2025.112635","DOI":"10.1016\/j.jss.2025.112635"},{"key":"e_1_3_3_1_6_2","unstructured":"Yiannis Charalambous Edoardo Manino and Lucas\u00a0C. Cordeiro. 2024. Automated Repair of AI Code with Large Language Models and Formal Verification. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2405.08848 [cs.SE]."},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","unstructured":"Junkai Chen Huihui Huang Yunbo Lyu Junwen An Jieke Shi Chengran Yang Ting Zhang Haoye Tian Yikun Li Zhenhao Li Xin Zhou Xing Hu and David Lo. 2025. SecureAgentBench: Benchmarking Secure Code Generation under Realistic Vulnerability Scenarios. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2509.22097. 10.48550\/arXiv.2509.22097","DOI":"10.48550\/arXiv.2509.22097"},{"key":"e_1_3_3_1_8_2","volume-title":"Essai sur l\u2019application de l\u2019analyse \u00e0 la probabilit\u00e9 des d\u00e9cisions rendues \u00e0 la pluralit\u00e9 des voix","author":"de\u00a0Caritat Marquis\u00a0de Condorcet, Marie-Jean-Antoine-Nicolas","year":"1785","unstructured":"Marquis\u00a0de Condorcet, Marie-Jean-Antoine-Nicolas de\u00a0Caritat. 1785. Essai sur l\u2019application de l\u2019analyse \u00e0 la probabilit\u00e9 des d\u00e9cisions rendues \u00e0 la pluralit\u00e9 des voix. Imprimerie Royale, Paris. Dispon\u00edvel em: https:\/\/archive.org\/details\/bub_gb_RzAVAAAAQAAJ Acesso em: 27\/11\/2025."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","unstructured":"Aaron Councilman David Fu Aryan Gupta Chengxiao Wang David Grove Yu-Xiong Wang and Vikram Adve. 2025. Towards Formal Verification of LLM-Generated Code from Natural Language Prompts. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2507.13290. 10.48550\/arXiv.2507.13290","DOI":"10.48550\/arXiv.2507.13290"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","unstructured":"Elyson De\u00a0La Cruz Hanh Le Karthik Meduri Geeta\u00a0Sandeep Nadella and Hari Gonaygunta. 2025. Redefining the Programmer: Human-AI Collaboration LLMs and Security in Modern Software Engineering. Computers Materials & Continua 85 2 (2025) 3569\u20133582. 10.32604\/cmc.2025.068137","DOI":"10.32604\/cmc.2025.068137"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3744916.3773217"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Connor Dilgren Purva Chiniya Luke Griffith Yu Ding and Yizheng Chen. 2025. SecRepoBench: Benchmarking LLMs for Secure Code Generation in Real-World Repositories. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2504.21205. 10.48550\/arXiv.2504.21205","DOI":"10.48550\/arXiv.2504.21205"},{"key":"e_1_3_3_1_13_2","unstructured":"Mete Keltek Rong Hu Mohammadreza\u00a0Fani Sani and Ziyue Li. 2024. Boosting Cybersecurity Vulnerability Scanning based on LLM-supported Static Application Security Testing. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2409.15735 [cs.CR]."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Nikolaos Malamas Emmanouil Tsardoulias Konstantinos Panayiotou and Andreas\u00a0L. Symeonidis. 2025. Toward efficient vibe coding: An LLM-based agent for low-code software development. Journal of Computer Languages 85 (2025) 101367. 10.1016\/j.cola.2025.101367","DOI":"10.1016\/j.cola.2025.101367"},{"key":"e_1_3_3_1_15_2","unstructured":"Rupam Patir Keyan Guo Haipeng Cai and Hongxin Hu. 2025. Fortifying LLM-Based Code Generation with Graph-Based Reasoning on Secure Coding Practices. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2510.09682 [cs.CR]."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Adam\u00a0Jerome Salyers Sheana Bull Joshva Silvasstar Kevin Howell Tara Wright and Farnoush Banaei-Kashani. 2025. Building and Beta-Testing Be Well Buddy Chatbot a Secure Credible and Trustworthy AI Chatbot That Will Not Misinform Hallucinate or Stigmatize Substance Use Disorder: Development and Usability Study. JMIR Human Factors 12 (2025) e69144. 10.2196\/69144","DOI":"10.2196\/69144"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2406.05590"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Maryam Taeb Hongmei Chi and Shonda Bernadin. 2024. Assessing the Effectiveness and Security Implications of AI Code Generators. Journal of The Colloquium for Information Systems Security Education 11 1 (2024) 6\u201316.","DOI":"10.53735\/cisse.v11i1.180"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Norbert Tihanyi Tamas Bisztray Mohamed\u00a0Amine Ferrag Ridhi Jain and Lucas\u00a0C. Cordeiro. 2025. How secure is AI-generated code: a large-scale comparison of large language models. Empirical Software Engineering 30 2 (2025) 47. 10.1007\/s10664-024-10590-1","DOI":"10.1007\/s10664-024-10590-1"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","unstructured":"Catherine Tony Nicol\u00e1s E.\u00a0D\u00edaz Ferreyra Markus Mutas Salem Dhif and Riccardo Scandariato. 2024. Prompting Techniques for Secure Code Generation: A Systematic Investigation. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2407.07064. 10.48550\/arXiv.2407.07064","DOI":"10.48550\/arXiv.2407.07064"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","unstructured":"Catherine Tony Maura Pintor Max Kretschmann and Riccardo Scandariato. 2025. Discrete Prompt Optimization Using Genetic Algorithm for Secure Python Code Generation. The Journal of Systems and Software 232 (2025) 112682. 10.1016\/j.jss.2025.112682","DOI":"10.1016\/j.jss.2025.112682"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","unstructured":"Jiexin Wang Xitong Luo Liuwen Cao Hongkui He Hailin Huang Jiayuan Xie Adam Jatowt and Yi Cai. 2024. Is Your AI-Generated Code Really Secure? Evaluating Large Language Models on Secure Code Generation with CodeSecEval. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2407.02395. 10.48550\/arXiv.2407.02395","DOI":"10.48550\/arXiv.2407.02395"}],"event":{"name":"ICICT 2026: 2026 The 9th International Conference on Information and Computer Technologies","location":"Honolulu , HI , USA","acronym":"ICICT 2026"},"container-title":["Proceedings of the 2026 9th International Conference on Information and Computer Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3803291.3803376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T15:34:01Z","timestamp":1781364841000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803291.3803376"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,11]]},"references-count":21,"alternative-id":["10.1145\/3803291.3803376","10.1145\/3803291"],"URL":"https:\/\/doi.org\/10.1145\/3803291.3803376","relation":{},"subject":[],"published":{"date-parts":[[2026,3,11]]},"assertion":[{"value":"2026-06-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}