{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T06:13:26Z","timestamp":1783577606313,"version":"3.55.0"},"reference-count":74,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T00:00:00Z","timestamp":1782086400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T00:00:00Z","timestamp":1782086400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,6,22]]},"DOI":"10.1109\/dsn69566.2026.00071","type":"proceedings-article","created":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T19:41:43Z","timestamp":1783539703000},"page":"704-717","source":"Crossref","is-referenced-by-count":0,"title":["Zero-Shot Vulnerability Detection in Low-Resource Smart Contracts Through Solidity-Only Training"],"prefix":"10.1109","author":[{"given":"Minghao","family":"Hu","sequence":"first","affiliation":[{"name":"George Mason University,Department of Computer Science,Fairfax,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qiang","family":"Zeng","sequence":"additional","affiliation":[{"name":"George Mason University,Department of Computer Science,Fairfax,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lannan","family":"Luo","sequence":"additional","affiliation":[{"name":"George Mason University,Department of Computer Science,Fairfax,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-S65789.2025.00075"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-S65789.2025.00068"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DSN58291.2024.00046"},{"issue":"75","key":"ref4","first-page":"39","article-title":"A survey of mythril, a smart contract security analysis tool for evm bytecode","volume":"13","author":"Sharma","year":"2022","journal-title":"Indian J Natural Sci"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.findings-emnlp.173"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3687251.3687253"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.241357"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2023.23263"},{"key":"ref11","first-page":"1361","article-title":"{SmarTest}: Effectively hunting vulnerable transaction sequences in smart contracts through language {Model-Guided} symbolic execution","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"So"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3712285.3759803"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3731545.3731570"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE63991.2025.00020"},{"key":"ref15","article-title":"Swe-debate: Competitive multi-agent debate for software issue resolution","author":"Li","year":"2025"},{"key":"ref16","article-title":"From code to correctness: Closing the last mile of code generation with hierarchical debugging","author":"Shi","year":"2024"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00005"},{"key":"ref18","volume-title":"Vyper: A contract-oriented, pythonic programming language that targets the ethereum virtual machine"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DSN58291.2024.00032"},{"key":"ref20","first-page":"1325","article-title":"Smart contract vulnerabilities: Vulnerable does not imply exploited","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Perez"},{"key":"ref21","first-page":"2545","article-title":"A {Mixed-Methods} study of security practices of smart contract developers","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Sharma"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3381036"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_30"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549105"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3141396"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3664476.3664507"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2026.3672389"},{"key":"ref28","volume-title":"Polkadot: A powerful, secure heart of web3"},{"key":"ref29","volume-title":"Eosio: A free, open-source blockchain software protocol"},{"key":"ref30","volume-title":"Binance smart chain: An evm-compatible blockchain"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2024.24992"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2023.24078"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00066"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00032"},{"key":"ref35","volume-title":"Solidity: A statically-typed curly-braces programming language designed for developing smart contracts that run on ethereum"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623178"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560552"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3744709"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3702973"},{"key":"ref40","first-page":"1019","article-title":"Advscanner: Generating adversarial smart contracts to exploit reentrancy vulnerabilities using llm and static analysis","volume-title":"Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering","author":"Wu"},{"key":"ref41","first-page":"1","article-title":"Scvhunter: Smart contract vulnerability detection based on heterogeneous graph attention network","volume-title":"Proceedings of the IEEE\/ACM 46th international conference on software engineering (ICSE)","author":"Luo"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00036"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3485523"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/icse55347.2025.00027"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3689796"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639152"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM52122.2024.10621414"},{"key":"ref48","first-page":"9","article-title":"Smartcheck: Static analysis of ethereum smart contracts","volume-title":"Proceedings of the 1st international workshop on emerging trends in software engineering for blockchain","author":"Tikhomirov"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3485540"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3715712"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560429"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3182373"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2023.103076"},{"key":"ref57","first-page":"778","article-title":"sfuzz: An efficient adaptive fuzzer for solidity smart contracts","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering","author":"Nguyen"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3674725"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417064"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/379"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/TPS-ISA58951.2023.00044"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639173"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639117"},{"key":"ref65","volume-title":"Etherscan: The ethereum blockchain explorer"},{"key":"ref66","volume-title":"Github: A proprietary developer platform"},{"key":"ref67","article-title":"Sb curated: A curated dataset of vulnerable solidity smart contracts","year":"2021"},{"key":"ref68","article-title":"Smart contract weakness classification registry","year":"2020"},{"key":"ref69","article-title":"Dappscan: Building large-scale datasets for smart contract weaknesses in dapp projects","year":"2023"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.68"},{"key":"ref71","article-title":"Graphcodebert: Pre-training code representations with data flow","volume-title":"International Conference on Learning Representations","author":"Guo"},{"key":"ref72","article-title":"Gpt-4.1","year":"2025"},{"key":"ref73","article-title":"Code llama: Open foundation models for code","author":"Roziere","year":"2023"},{"key":"ref74","article-title":"Qwen technical report","author":"Bai","year":"2023"}],"event":{"name":"2026 56th Annual IEEE International Conference on Dependable Systems and Networks (DSN)","location":"Charlotte, NC, USA","start":{"date-parts":[[2026,6,22]]},"end":{"date-parts":[[2026,6,25]]}},"container-title":["2026 56th Annual IEEE International Conference on Dependable Systems and Networks (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11593123\/11593173\/11593466.pdf?arnumber=11593466","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T05:15:56Z","timestamp":1783574156000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11593466\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,22]]},"references-count":74,"URL":"https:\/\/doi.org\/10.1109\/dsn69566.2026.00071","relation":{},"subject":[],"published":{"date-parts":[[2026,6,22]]}}}