{"id":"https://openalex.org/W4389296463","doi":"https://doi.org/10.1109/sds59856.2023.10328964","title":"Natural Language-Based Model-Checking Framework for Move Smart Contracts","display_name":"Natural Language-Based Model-Checking Framework for Move Smart Contracts","publication_year":2023,"publication_date":"2023-10-23","ids":{"openalex":"https://openalex.org/W4389296463","doi":"https://doi.org/10.1109/sds59856.2023.10328964"},"language":"en","primary_location":{"id":"doi:10.1109/sds59856.2023.10328964","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sds59856.2023.10328964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 Tenth International Conference on Software Defined Systems (SDS)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063566849","display_name":"Keerthi Nelaturu","orcid":"https://orcid.org/0000-0001-7652-2831"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Keerthi Nelaturu","raw_affiliation_strings":["University of Toronto,Department of Electrical & Computer Engineering,Toronto,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto,Department of Electrical & Computer Engineering,Toronto,Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049897383","display_name":"Eric Keilty","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Eric Keilty","raw_affiliation_strings":["University of Toronto,Department of Electrical & Computer Engineering,Toronto,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto,Department of Electrical & Computer Engineering,Toronto,Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009841786","display_name":"Andreas Veneris","orcid":"https://orcid.org/0000-0002-6309-8821"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Andreas Veneris","raw_affiliation_strings":["University of Toronto,Department of Electrical & Computer Engineering,Toronto,Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto,Department of Electrical & Computer Engineering,Toronto,Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":1.9437,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8862946,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"89","last_page":"94"},"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.9983999729156494,"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.9983999729156494,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9688000082969666,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9178000092506409,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.8553140759468079},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6389725804328918},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6167733073234558},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.607520580291748},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5045017004013062},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.48245102167129517},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42163345217704773},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.32237327098846436}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8553140759468079},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6389725804328918},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6167733073234558},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.607520580291748},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5045017004013062},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.48245102167129517},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42163345217704773},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.32237327098846436},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sds59856.2023.10328964","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sds59856.2023.10328964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 Tenth International Conference on Software Defined Systems (SDS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W2001289891","https://openalex.org/W2048903680","https://openalex.org/W2293306176","https://openalex.org/W2604844934","https://openalex.org/W2914811077","https://openalex.org/W2931706589","https://openalex.org/W2964293144","https://openalex.org/W2970967309","https://openalex.org/W3000032641","https://openalex.org/W3035733952","https://openalex.org/W3096316084","https://openalex.org/W3127149219","https://openalex.org/W3137328154","https://openalex.org/W3165214486","https://openalex.org/W3212798537","https://openalex.org/W4211181447","https://openalex.org/W4296442576","https://openalex.org/W4308078800","https://openalex.org/W4317911209","https://openalex.org/W4384155611","https://openalex.org/W6759310366"],"related_works":["https://openalex.org/W2061417947","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W188282463","https://openalex.org/W2621101275","https://openalex.org/W4321782533","https://openalex.org/W3096156304"],"abstract_inverted_index":{"Significant":[0],"efforts":[1],"have":[2],"been":[3,126],"dedicated":[4],"to":[5,48,89,145],"employing":[6],"model-checking":[7,43,71,134,184],"as":[8],"a":[9,56,60,78,84,118],"formal":[10],"verification":[11],"approach":[12,88],"in":[13,105],"the":[14,29,32,36,40,74,90,132,137,165,179,182,188],"context":[15],"of":[16,21,31,42,76,92,100,158,167,181,194],"smart":[17,79,96,123,152,159,189],"contracts.":[18,97,160],"The":[19,98],"utilization":[20,99],"these":[22],"tools":[23],"necessitates":[24],"an":[25],"in-depth":[26],"knowledge":[27],"on":[28],"part":[30],"developer":[33],"regarding":[34],"both":[35],"programming":[37],"language":[38,52,102],"and":[39,86,94,128,149,169,175,198],"implementation":[41,120],"techniques.":[44],"To":[45],"provide":[46],"accessibility":[47],"developers":[49],"with":[50,69,107,131],"basic":[51],"proficiency,":[53],"we":[54,142],"present":[55],"technique":[57],"for":[58,73,112,121,172],"developing":[59],"conversational":[61],"application":[62],"framework":[63],"that":[64,187],"can":[65],"be":[66],"seamlessly":[67],"linked":[68],"any":[70,195],"tool":[72,185],"purpose":[75],"creating":[77],"contract.":[80],"This":[81,161],"architecture":[82],"offers":[83],"robust":[85],"effective":[87],"development":[91],"safe":[93],"dependable":[95],"natural":[101],"processing":[103],"techniques":[104],"conjunction":[106],"neural":[108],"networks":[109],"is":[110,129],"employed":[111],"this":[113,116],"objective.":[114],"Using":[115,136],"methodology,":[117],"prototype":[119],"Move":[122,151],"contracts":[124,153,190],"has":[125],"created":[127],"used":[130],"VeriMove":[133,183],"tool.":[135],"offered":[138],"graphical":[139],"user":[140],"interface,":[141],"were":[143],"able":[144],"successfully":[146],"build,":[147],"compile":[148],"test":[150],"across":[154],"four":[155],"different":[156],"classes":[157],"strategy":[162],"effectively":[163],"decreases":[164],"amount":[166],"time":[168],"effort":[170],"needed":[171],"manual":[173],"coding":[174],"debugging.":[176],"In":[177],"addition,":[178],"use":[180],"guarantees":[186],"produced":[191],"are":[192],"devoid":[193],"potential":[196],"vulnerabilities":[197],"flaws.":[199]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}