{"id":"https://openalex.org/W4400103818","doi":"https://doi.org/10.48550/arxiv.2406.18075","title":"A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter","display_name":"A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter","publication_year":2024,"publication_date":"2024-06-26","ids":{"openalex":"https://openalex.org/W4400103818","doi":"https://doi.org/10.48550/arxiv.2406.18075"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2406.18075","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2406.18075","pdf_url":"https://arxiv.org/pdf/2406.18075","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"parent_works":[],"lineage":["https://openalex.org/W4400103818"],"child_works_count":0,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2406.18075","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5094332097","display_name":"Mohamed Salah Bouafif","orcid":"https://orcid.org/0009-0006-0560-9730","observed_orcids":["https://orcid.org/0009-0006-0560-9730"]},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Bouafif, Mohamed Salah","raw_affiliation_strings":["Polytechnique Montreal , Montreal , Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Polytechnique Montreal , Montreal , Canada","institution_ids":["https://openalex.org/I45683168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100552426","display_name":"Zheng Chen","orcid":"https://orcid.org/0009-0000-1347-8052","observed_orcids":["https://orcid.org/0009-0000-1347-8052"]},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Zheng, Chen","raw_affiliation_strings":["University of Hong Kong , Hong Kong \u2021 Quantstamp , Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Hong Kong , Hong Kong \u2021 Quantstamp , Canada","institution_ids":["https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079031504","display_name":"Ilham Qasse","orcid":"https://orcid.org/0000-0001-7526-3583","observed_orcids":["https://orcid.org/0000-0001-7526-3583"]},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Qasse, Ilham Ahmed","raw_affiliation_strings":["Reykjavik University , Reykjavik , Iceland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Reykjavik University , Reykjavik , Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039136363","display_name":"Edward Zulkoski","orcid":"https://orcid.org/0000-0003-1816-1614","observed_orcids":["https://orcid.org/0000-0003-1816-1614"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zulkoski, Ed","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042033117","display_name":"Mohammad Hamdaqa","orcid":"https://orcid.org/0000-0003-4927-2755","observed_orcids":["https://orcid.org/0000-0003-4927-2755"]},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Hamdaqa, Mohammad","raw_affiliation_strings":["Polytechnique Montreal , Montreal , Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Polytechnique Montreal , Montreal , Canada","institution_ids":["https://openalex.org/I45683168"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071052367","display_name":"Foutse Khomh","orcid":"https://orcid.org/0000-0002-5704-4173","observed_orcids":["https://orcid.org/0000-0002-5704-4173"]},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Khomh, Foutse","raw_affiliation_strings":["Polytechnique Montreal , Montreal , Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Polytechnique Montreal , Montreal , Canada","institution_ids":["https://openalex.org/I45683168"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9520999789237976,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9520999789237976,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.02329999953508377,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.007300000172108412,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/smart-contract-auditing","display_name":"smart contract auditing","score":0.984000027179718},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.9100000262260437},{"id":"https://openalex.org/keywords/prompt-engineering","display_name":"prompt engineering","score":0.734000027179718},{"id":"https://openalex.org/keywords/vulnerability-detection","display_name":"vulnerability detection","score":0.9240000247955322},{"id":"https://openalex.org/keywords/smart-contract-vulnerabilities","display_name":"smart contract vulnerabilities","score":0.6370000243186951}],"concepts":[{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.7220832109451294},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.7020353078842163},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.6999080181121826},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6087635159492493},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5918262004852295},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.3477798104286194},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.337837278842926},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3299523591995239},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3285471200942993},{"id":"https://openalex.org/C121955636","wikidata":"https://www.wikidata.org/wiki/Q4116214","display_name":"Accounting","level":1,"score":0.258490651845932},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0858839750289917},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2406.18075","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2406.18075","pdf_url":"https://arxiv.org/pdf/2406.18075","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2406.18075","doi":"https://doi.org/10.48550/arxiv.2406.18075","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2406.18075","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2406.18075","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2406.18075","pdf_url":"https://arxiv.org/pdf/2406.18075","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400103818.pdf","grobid_xml":"https://content.openalex.org/works/W4400103818.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W4381826673","https://openalex.org/W4392414327","https://openalex.org/W4402665833","https://openalex.org/W4404060141","https://openalex.org/W4405796591"],"related_works":["https://openalex.org/W4402355303","https://openalex.org/W7001127801","https://openalex.org/W4411552805","https://openalex.org/W4381826673","https://openalex.org/W4416445254","https://openalex.org/W4416999537","https://openalex.org/W4417250298","https://openalex.org/W4417436139","https://openalex.org/W4391877140","https://openalex.org/W7164020682"],"abstract_inverted_index":{"The":[0,202],"surge":[1],"in":[2,42,48,58,72,207,221],"the":[3,27,31,49,54,65,68,125,131,143,166,176,185,214,217],"adoption":[4],"of":[5,33,56,67,74,160,178,184,216],"smart":[6,59,89,198],"contracts":[7],"necessitates":[8],"rigorous":[9],"auditing":[10,50,200],"to":[11,45,105,119,137],"ensure":[12],"their":[13],"security":[14],"and":[15,23,77,100,134],"reliability.":[16],"Manual":[17],"auditing,":[18],"although":[19],"comprehensive,":[20],"is":[21,39,62],"time-consuming":[22],"heavily":[24],"reliant":[25],"on":[26,114,124,149],"auditor's":[28],"expertise.":[29],"With":[30],"rise":[32],"Large":[34],"Language":[35],"Models":[36],"(LLMs),":[37],"there":[38],"growing":[40],"interest":[41],"leveraging":[43],"them":[44],"assist":[46],"auditors":[47,191],"process":[51],"(co-auditing).":[52],"However,":[53],"effectiveness":[55],"LLMs":[57],"contract":[60,90,199],"co-auditing":[61],"contingent":[63],"upon":[64],"design":[66],"input":[69],"prompts,":[70],"especially":[71],"terms":[73],"context":[75,98,121],"description":[76,122],"code":[78,103,108,111,115,219],"length.":[79],"This":[80],"paper":[81],"introduces":[82],"a":[83,139,157,196],"novel":[84],"context-driven":[85],"prompting":[86,168,180],"technique":[87],"for":[88,97,142,162],"co-auditing.":[91],"Our":[92],"approach":[93,212],"employs":[94],"three":[95],"techniques":[96],"scoping":[99,104,118,136],"augmentation,":[101],"encompassing":[102],"chunk":[106],"long":[107],"into":[109],"self-contained":[110],"segments":[112],"based":[113,123],"inter-dependencies,":[116],"assessment":[117,127],"enhance":[120],"target":[126],"goal,":[128],"thereby":[129],"limiting":[130],"search":[132],"space,":[133],"reporting":[135],"force":[138],"specific":[140],"format":[141],"generated":[144],"response.":[145],"Through":[146],"empirical":[147],"evaluations":[148],"publicly":[150],"available":[151],"vulnerable":[152,163],"contracts,":[153],"our":[154,179,193,210],"method":[155],"demonstrated":[156],"detection":[158],"rate":[159],"96\\%":[161],"functions,":[164],"outperforming":[165],"native":[167],"approach,":[169,181],"which":[170],"detected":[171],"only":[172],"53\\%.":[173],"To":[174],"assess":[175],"reliability":[177],"manual":[182],"analysis":[183,204],"results":[186],"was":[187],"conducted":[188],"by":[189],"expert":[190],"from":[192],"partner,":[194],"Quantstamp,":[195],"world-leading":[197],"company.":[201],"experts'":[203],"indicates":[205],"that,":[206],"unlabeled":[208],"datasets,":[209],"proposed":[211],"enhances":[213],"proficiency":[215],"GPT-4":[218],"interpreter":[220],"detecting":[222],"vulnerabilities.":[223]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-11-13T13:42:25.865203","created_date":"2024-06-28T00:00:00"}