{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T08:07:19Z","timestamp":1771574839545,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T00:00:00Z","timestamp":1760400000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T00:00:00Z","timestamp":1760400000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,14]]},"DOI":"10.1109\/ictc66702.2025.11388677","type":"proceedings-article","created":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T20:55:29Z","timestamp":1771534529000},"page":"1156-1160","source":"Crossref","is-referenced-by-count":0,"title":["ProvAuditChain: A Gas-Efficient On-Chain Provenance Framework for AI-Driven Smart Contract Audits"],"prefix":"10.1109","author":[{"given":"George Chidera","family":"Akor","sequence":"first","affiliation":[{"name":"Kumoh National Institute of Technology,IT-Convergence Engineering,Gumi,South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Love Allen","family":"Chijioke Ahakonye","sequence":"additional","affiliation":[{"name":"Kumoh National Institute of Technology,ICT Convergence Research Center,Gumi,South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jae Min","family":"Lee","sequence":"additional","affiliation":[{"name":"Kumoh National Institute of Technology,IT-Convergence Engineering,Gumi,South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong-Seong","family":"Kim","sequence":"additional","affiliation":[{"name":"Kumoh National Institute of Technology,IT-Convergence Engineering,Gumi,South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.icte.2023.01.002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.icte.2024.09.003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2026.112788"},{"key":"ref4","article-title":"Empirical review of smart contract and defi security: Vulnerability detection and automated repair","author":"Qian","year":"2023"},{"key":"ref5","article-title":"Automated reasoning in blockchain: Foundations, applications, and frontiers","author":"Key","year":"2025"},{"key":"ref6","article-title":"Do you still need a manual smart contract audit\u0192","author":"Zhou","year":"2023"},{"key":"ref7","article-title":"Llm-smartaudit: Advanced smart contract vulnerability detection","author":"Wei","year":"2024"},{"key":"ref8","article-title":"Ftsmartaudit: A knowledge distillation-enhanced framework for automated smart contract auditing using fine-tuned llms","author":"Wei","year":"2024"},{"key":"ref9","article-title":"A context-driven approach for co-auditing smart contracts with the support of gpt-4 code interpreter","author":"Bouafif","year":"2024"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.54941\/ahfe1003726"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3660772"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3695864"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICoCSETI63724.2025.11019687"},{"key":"ref14","article-title":"Hymo: Vulnerability detection in smart contracts using a novel multi-modal hybrid model","author":"Khodadadi","year":"2023"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.57019\/jmv.1489060"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3034260"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3317209"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3182373"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MSR59073.2023.00052"},{"key":"ref20","article-title":"Retrieval augmented generation integrated large language models in smart contract vulnerability detection","author":"Yu","year":"2024"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TPS-ISA58951.2023.00044"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/icse55347.2025.00027"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639117"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.3390\/iot6030037"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.3390\/electronics12061340"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1063\/5.0241894"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3446983.3446992"},{"key":"ref28","article-title":"Verifiable credentials data model v2.0","author":"Cohen","year":"2025","journal-title":"W3C, Candidate Recommendation"}],"event":{"name":"2025 16th International Conference on Information and Communication Technology Convergence (ICTC)","location":"Jeju, Korea, Republic of","start":{"date-parts":[[2025,10,14]]},"end":{"date-parts":[[2025,10,17]]}},"container-title":["2025 16th International Conference on Information and Communication Technology Convergence (ICTC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11387762\/11387791\/11388677.pdf?arnumber=11388677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:17:06Z","timestamp":1771571826000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11388677\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,14]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/ictc66702.2025.11388677","relation":{},"subject":[],"published":{"date-parts":[[2025,10,14]]}}}