{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T08:58:45Z","timestamp":1767085125127,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T00:00:00Z","timestamp":1740009600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Prime Minister Research Fellowship (PMRF) Award","award":["2701806"],"award-info":[{"award-number":["2701806"]}]},{"name":"SERB Core Research Grant","award":["CRG\/2022\/005794"],"award-info":[{"award-number":["CRG\/2022\/005794"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,2,20]]},"DOI":"10.1145\/3717383.3717394","type":"proceedings-article","created":{"date-parts":[[2025,4,21]],"date-time":"2025-04-21T11:44:31Z","timestamp":1745235871000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["SolGen: Secure Smart Contract Code Generation Using Large Language Models Via Masked Prompting"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6465-5474","authenticated-orcid":false,"given":"Md Tauseef","family":"Alam","sequence":"first","affiliation":[{"name":"Indian Institute of Technology Patna, Patna, India"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1791-3089","authenticated-orcid":false,"given":"Sorbajit","family":"Goswami","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Patna, Patna, India"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6426-0836","authenticated-orcid":false,"given":"Khushi","family":"Singh","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Patna, Patna, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8873-8258","authenticated-orcid":false,"given":"Raju","family":"Halder","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Patna, Patna, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4089-5051","authenticated-orcid":false,"given":"Abyayananda","family":"Maiti","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Patna, Patna, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5865-9754","authenticated-orcid":false,"given":"Soumyadip","family":"Banerjee","sequence":"additional","affiliation":[{"name":"ACM member, Goa, India"}]}],"member":"320","published-online":{"date-parts":[[2025,4,21]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"[n. d.]. PromptBase. https:\/\/promptbase.com\/. (Accessed on 26 September 2024)."},{"key":"e_1_3_3_2_3_2","unstructured":"Josh Achiam Steven Adler Sandhini Agarwal Lama Ahmad Ilge Akkaya Florencia\u00a0Leoni Aleman Diogo Almeida Janko Altenschmidt Sam Altman Shyamal Anadkat et\u00a0al. 2023. Gpt-4 technical report. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2303.08774 (2023)."},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Yupeng Chang Xu Wang Jindong Wang Yuan Wu Linyi Yang Kaijie Zhu Hao Chen Xiaoyuan Yi Cunxiang Wang Yidong Wang et\u00a0al. 2024. A survey on evaluation of large language models. ACM Transactions on Intelligent Systems and Technology 15 3 (2024) 1\u201345.","DOI":"10.1145\/3641289"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Huashan Chen Marcus Pendleton Laurent Njilla and Shouhuai Xu. 2020. A survey on ethereum systems security: Vulnerabilities attacks and defenses. ACM Computing Surveys (CSUR) 53 3 (2020) 1\u201343.","DOI":"10.1145\/3391195"},{"key":"e_1_3_3_2_6_2","unstructured":"Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde De\u00a0Oliveira Pinto Jared Kaplan Harri Edwards Yuri Burda Nicholas Joseph Greg Brockman et\u00a0al. 2021. Evaluating large language models trained on code. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2107.03374 (2021)."},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"crossref","unstructured":"Hanting Chu Pengcheng Zhang Hai Dong Yan Xiao Shunhui Ji and Wenrui Li. 2023. A survey on smart contract vulnerabilities: Data sources detection and repair. Information and Software Technology 159 (2023) 107221.","DOI":"10.1016\/j.infsof.2023.107221"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3415298"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680343"},{"key":"e_1_3_3_2_11_2","unstructured":"Hojae Han Jaejin Kim Jaeseok Yoo Youngwon Lee and Seung-won Hwang. 2024. ArchCode: Incorporating Software Requirements in Code Generation with Large Language Models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2408.00994 (2024)."},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/BRAINS59668.2023.10316829"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Heiko Koziolek Virendra Ashiwal Soumyadip Bandyopadhyay et\u00a0al. 2024. Automated Control Logic Test Case Generation using Large Language Models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2405.01874 (2024).","DOI":"10.1109\/ETFA61755.2024.10711016"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Moez Krichen Meryem Ammi Alaeddine Mihoub and Mutiq Almutiq. 2022. Blockchain for modern applications: A survey. Sensors 22 14 (2022) 5274.","DOI":"10.3390\/s22145274"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3650105.3652299"},{"key":"e_1_3_3_2_16_2","unstructured":"Jiawei Liu Chunqiu\u00a0Steven Xia Yuyao Wang and Lingming Zhang. 2024. Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation. Advances in Neural Information Processing Systems 36 (2024)."},{"key":"e_1_3_3_2_17_2","unstructured":"Zhijie Liu Yutian Tang Xiapu Luo Yuming Zhou and Liang\u00a0Feng Zhang. 2024. No need to lift a finger anymore? assessing the quality of code generation by chatgpt. IEEE Transactions on Software Engineering (2024)."},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_3_2_19_2","unstructured":"Aman Madaan Niket Tandon Prakhar Gupta Skyler Hallinan Luyu Gao Sarah Wiegreffe Uri Alon Nouha Dziri Shrimai Prabhumoye Yiming Yang et\u00a0al. 2024. Self-refine: Iterative refinement with self-feedback. Advances in Neural Information Processing Systems 36 (2024)."},{"key":"e_1_3_3_2_20_2","unstructured":"Shervin Minaee Tomas Mikolov Narjes Nikzad Meysam Chenaghlu Richard Socher Xavier Amatriain and Jianfeng Gao. 2024. Large language models: A survey. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2402.06196 (2024)."},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"e_1_3_3_2_22_2","unstructured":"Consensys Mythx. 2018. Mythril. https:\/\/github.com\/Consensys\/mythril. (Accessed on 10 September 2024)."},{"key":"e_1_3_3_2_23_2","unstructured":"OpenAI. 2024. OpenAI Cookbook. https:\/\/github.com\/openai\/openai-cookbook. (Accessed on 26 September 2024)."},{"key":"e_1_3_3_2_24_2","unstructured":"Nii Osae Osae\u00a0Dade Margaret Lartey-Quaye Emmanuel Teye-Kofi\u00a0Odonkor and Paul Ammah. 2023. Optimizing Large Language Models to Expedite the Development of Smart Contracts. arXiv e-prints (2023) arXiv\u20132310."},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833571"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE59848.2023.00035"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_3_2_28_2","unstructured":"Hugo Touvron Thibaut Lavril Gautier Izacard Xavier Martinet Marie-Anne Lachaux Timoth\u00e9e Lacroix Baptiste Rozi\u00e8re Naman Goyal Eric Hambro Faisal Azhar et\u00a0al. 2023. Llama: Open and efficient foundation language models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2302.13971 (2023)."},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_3_2_30_2","first-page":"1","volume-title":"IARML@ IJCAI","author":"Wang Liyan","year":"2022","unstructured":"Liyan Wang and Yves Lepage. 2022. Masked Prompt Learning for Formal Analogies beyond Words.. In IARML@ IJCAI. 1\u201314."},{"key":"e_1_3_3_2_31_2","unstructured":"Jason Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Fei Xia Ed Chi Quoc\u00a0V Le Denny Zhou et\u00a0al. 2022. Chain-of-thought prompting elicits reasoning in large language models. Advances in neural information processing systems 35 (2022) 24824\u201324837."}],"event":{"name":"ISEC 2025: 18th Innovations in Software Engineering Conference","acronym":"ISEC 2025","location":"Kurukshetra India"},"container-title":["Proceedings of the 18th Innovations in Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3717383.3717394","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3717383.3717394","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:56Z","timestamp":1750295936000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3717383.3717394"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,20]]},"references-count":30,"alternative-id":["10.1145\/3717383.3717394","10.1145\/3717383"],"URL":"https:\/\/doi.org\/10.1145\/3717383.3717394","relation":{},"subject":[],"published":{"date-parts":[[2025,2,20]]},"assertion":[{"value":"2025-04-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}