{"id":"https://openalex.org/W4382934889","doi":"https://doi.org/10.32657/10356/168560","title":"On security and reliability of smart contracts: the applications of dynamic specification mining on solidity","display_name":"On security and reliability of smart contracts: the applications of dynamic specification mining on solidity","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4382934889","doi":"https://doi.org/10.32657/10356/168560"},"language":"en","primary_location":{"id":"doi:10.32657/10356/168560","is_oa":true,"landing_page_url":"https://doi.org/10.32657/10356/168560","pdf_url":null,"source":null,"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Nanyang Technological University","raw_type":"dissertation"},"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.32657/10356/168560","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100346528","display_name":"Ye Liu","orcid":"https://orcid.org/0000-0001-6709-3721"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Liu, Ye","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100346528"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9987999796867371,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.996999979019165,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9958000183105469,"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/computer-science","display_name":"Computer science","score":0.7527223825454712},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.7056413888931274},{"id":"https://openalex.org/keywords/solidity","display_name":"Solidity","score":0.6648497581481934},{"id":"https://openalex.org/keywords/arithmetic-underflow","display_name":"Arithmetic underflow","score":0.6464709043502808},{"id":"https://openalex.org/keywords/permission","display_name":"Permission","score":0.633557915687561},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.6324249505996704},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.5839491486549377},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4374411702156067},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.41672199964523315},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38127198815345764},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.35548990964889526},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2672852873802185},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.22061946988105774},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.13540658354759216}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7527223825454712},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.7056413888931274},{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.6648497581481934},{"id":"https://openalex.org/C3265923","wikidata":"https://www.wikidata.org/wiki/Q669129","display_name":"Arithmetic underflow","level":2,"score":0.6464709043502808},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.633557915687561},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6324249505996704},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.5839491486549377},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4374411702156067},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.41672199964523315},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38127198815345764},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.35548990964889526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2672852873802185},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.22061946988105774},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.13540658354759216},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.32657/10356/168560","is_oa":true,"landing_page_url":"https://doi.org/10.32657/10356/168560","pdf_url":null,"source":null,"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Nanyang Technological University","raw_type":"dissertation"},{"id":"pmh:oai:dr.ntu.edu.sg:10356/168560","is_oa":true,"landing_page_url":"https://hdl.handle.net/10356/168560","pdf_url":null,"source":{"id":"https://openalex.org/S4306402609","display_name":"DR-NTU (Nanyang Technological University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172675005","host_organization_name":"Nanyang Technological University","host_organization_lineage":["https://openalex.org/I172675005"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis-Doctor of Philosophy"}],"best_oa_location":{"id":"doi:10.32657/10356/168560","is_oa":true,"landing_page_url":"https://doi.org/10.32657/10356/168560","pdf_url":null,"source":null,"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Nanyang Technological University","raw_type":"dissertation"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":136,"referenced_works":["https://openalex.org/W138607541","https://openalex.org/W157468466","https://openalex.org/W179875071","https://openalex.org/W1497571013","https://openalex.org/W1511110335","https://openalex.org/W1514048016","https://openalex.org/W1559018605","https://openalex.org/W1559171143","https://openalex.org/W1560388458","https://openalex.org/W1594706025","https://openalex.org/W1597159947","https://openalex.org/W1893208258","https://openalex.org/W1969005071","https://openalex.org/W1989445634","https://openalex.org/W2007999111","https://openalex.org/W2008880956","https://openalex.org/W2010895736","https://openalex.org/W2012634103","https://openalex.org/W2014574528","https://openalex.org/W2026252407","https://openalex.org/W2052363833","https://openalex.org/W2062830639","https://openalex.org/W2076343783","https://openalex.org/W2088845926","https://openalex.org/W2101512909","https://openalex.org/W2103351789","https://openalex.org/W2109076767","https://openalex.org/W2109826765","https://openalex.org/W2110908283","https://openalex.org/W2114917462","https://openalex.org/W2119296494","https://openalex.org/W2124081952","https://openalex.org/W2125232649","https://openalex.org/W2128475506","https://openalex.org/W2130427425","https://openalex.org/W2130730821","https://openalex.org/W2131109383","https://openalex.org/W2133523155","https://openalex.org/W2140965492","https://openalex.org/W2141752622","https://openalex.org/W2144344516","https://openalex.org/W2150990363","https://openalex.org/W2151489688","https://openalex.org/W2158395308","https://openalex.org/W2162670686","https://openalex.org/W2163328802","https://openalex.org/W2164673530","https://openalex.org/W2183126124","https://openalex.org/W2248392824","https://openalex.org/W2293740362","https://openalex.org/W2471111208","https://openalex.org/W2510508396","https://openalex.org/W2523077978","https://openalex.org/W2539190473","https://openalex.org/W2592077777","https://openalex.org/W2604844934","https://openalex.org/W2613534458","https://openalex.org/W2741068848","https://openalex.org/W2762833920","https://openalex.org/W2766041593","https://openalex.org/W2769609281","https://openalex.org/W2790202156","https://openalex.org/W2790587587","https://openalex.org/W2796161801","https://openalex.org/W2810252457","https://openalex.org/W2846896781","https://openalex.org/W2866060364","https://openalex.org/W2884459841","https://openalex.org/W2884619780","https://openalex.org/W2885034081","https://openalex.org/W2888928288","https://openalex.org/W2892132959","https://openalex.org/W2898419822","https://openalex.org/W2898569715","https://openalex.org/W2898652659","https://openalex.org/W2899026971","https://openalex.org/W2902729902","https://openalex.org/W2906668391","https://openalex.org/W2910185446","https://openalex.org/W2914459675","https://openalex.org/W2914811077","https://openalex.org/W2948760025","https://openalex.org/W2950300692","https://openalex.org/W2954151438","https://openalex.org/W2962941562","https://openalex.org/W2963125462","https://openalex.org/W2963610883","https://openalex.org/W2963846926","https://openalex.org/W2963983602","https://openalex.org/W2964241064","https://openalex.org/W2968035976","https://openalex.org/W2970967309","https://openalex.org/W2972498626","https://openalex.org/W2974196887","https://openalex.org/W2979467439","https://openalex.org/W2979602992","https://openalex.org/W2982275082","https://openalex.org/W2982383932","https://openalex.org/W2998271084","https://openalex.org/W2999044410","https://openalex.org/W2999378142","https://openalex.org/W3008357810","https://openalex.org/W3013497391","https://openalex.org/W3015325345","https://openalex.org/W3015405072","https://openalex.org/W3016155638","https://openalex.org/W3017072639","https://openalex.org/W3020706470","https://openalex.org/W3033309818","https://openalex.org/W3033535371","https://openalex.org/W3034136313","https://openalex.org/W3037049659","https://openalex.org/W3043398834","https://openalex.org/W3046701849","https://openalex.org/W3091391057","https://openalex.org/W3098450669","https://openalex.org/W3101591015","https://openalex.org/W3104720502","https://openalex.org/W3105187050","https://openalex.org/W3110705828","https://openalex.org/W3128671927","https://openalex.org/W3151748982","https://openalex.org/W3159494182","https://openalex.org/W3162904859","https://openalex.org/W3186717497","https://openalex.org/W3202227545","https://openalex.org/W3211314335","https://openalex.org/W4206031975","https://openalex.org/W4213172911","https://openalex.org/W4248175462","https://openalex.org/W4285490412","https://openalex.org/W4289105998","https://openalex.org/W4298161066","https://openalex.org/W4306962682","https://openalex.org/W4313547573","https://openalex.org/W4313563790"],"related_works":["https://openalex.org/W2785720764","https://openalex.org/W2777046235","https://openalex.org/W2186070848","https://openalex.org/W4285245977","https://openalex.org/W3203826058","https://openalex.org/W3104446232","https://openalex.org/W4386953084","https://openalex.org/W4290048282","https://openalex.org/W2914996832","https://openalex.org/W2768829148"],"abstract_inverted_index":{"Smart":[0],"contracts":[1,29,99,105,122,133,204,311,386,479,529],"are":[2,78,404,414],"computer":[3],"programs":[4],"running":[5],"on":[6,50,206,391,523],"blockchain":[7],"platforms":[8],"to":[9,108,174,186,196,252,291,355,416,446,463,473],"manage":[10],"large":[11],"sums":[12],"of":[13,20,27,41,97,120,202,233,249,309,320,329,426,490,527],"cryptocurrency,":[14],"govern":[15],"and":[16,60,123,149,161,200,224,287,294,337,371,389,399,432,461,519,525],"carry":[17],"out":[18],"transactions":[19],"assets":[21],"between":[22,158],"multiple":[23],"parties.":[24],"The":[25,324,420,483],"security":[26,53,66,148,199,524],"smart":[28,74,98,104,121,132,203,241,310,360,385,451,478,502,511,528],"has":[30,140,168],"attracted":[31,143],"great":[32],"attention,":[33],"ever":[34],"since":[35,102],"their":[36,521],"adoption":[37],"in":[38,72,81,131,181,289,332,347,359,429,477,499],"the":[39,51,94,188,198,207,231,299,306,313,318,327,424,464,469,487],"management":[40],"massive":[42],"cryptocurrency":[43],"transactions.":[44],"However,":[45,138],"current":[46],"works":[47],"mainly":[48],"rely":[49],"priori":[52,65],"patterns,":[54],"e.g.,":[55],"reentrancy,":[56,366],"delegatecall,":[57],"gasless":[58,369],"send":[59],"tainted":[61],"owner.":[62],"Although":[63],"these":[64,270],"patterns":[67],"have":[68,106,126,507],"been":[69,127,169],"proven":[70,170],"effective":[71,172],"finding":[73,82],"contract":[75,217,225,251,465,503,512],"vulnerabilities,":[76],"they":[77],"very":[79],"limited":[80],"deeper":[83],"design":[84,398],"flaws":[85],"such":[86,134],"as":[87,135,387,440],"permission":[88,321,475,491],"bugs,":[89,91],"bookkeeping":[90],"etc.":[92],"Moreover,":[93],"reliability":[95,150,201,526],"analysis":[96],"becomes":[100],"difficult":[101],"most":[103],"little":[107],"no":[109],"documentation":[110],"for":[111,239,317,406,450],"specifications.":[112,227],"Fairness":[113],"is":[114,285,353,381,438],"also":[115,301,422],"an":[116,171],"important":[117],"quality":[118],"attribute":[119],"fairness":[124,139,339,375,393,408],"issues":[125,151,364],"proved":[128],"widely":[129],"existing":[130],"Ponzi":[136],"schemes.":[137],"not":[141],"yet":[142],"much":[144],"research":[145],"attention.":[146],"Most":[147],"can":[152,219],"be":[153,220,263],"detected":[154],"via":[155],"conformance":[156,481],"checking":[157],"software":[159,178],"implementation":[160,232],"its":[162],"specification.":[163],"As":[164],"dynamic":[165,211,236],"specification":[166,212,517],"mining":[167,213,472,518],"way":[173],"learn":[175],"specifications":[176,209,218,513],"from":[177,276,312,396],"execution":[179],"traces,":[180],"this":[182],"dissertation,":[183],"we":[184,506],"aim":[185],"address":[187],"aforementioned":[189,470],"challenges":[190],"by":[191],"proposing":[192],"a":[193,235,250,279,348,377,441,500],"systematic":[194],"approach":[195],"study":[197],"based":[205],"learned":[208],"through":[210,480],"techniques.":[214],"In":[215],"general,":[216],"categorized":[221],"into":[222],"function-level":[223,259],"level":[226],"This":[228],"thesis":[229,300,325,421],"presents":[230,302],"InvCon,":[234],"invariant":[237],"detector":[238],"Solidity":[240],"contracts.":[242],"InvCon":[243],"analyzes":[244],"past":[245,314],"transac":[246],"tion":[247],"histories":[248,316],"generate":[253],"likely":[254],"program":[255,330,412],"invariants,":[256,460],"which":[257],"represent":[258],"properties":[260,394],"that":[261,304,383,443],"must":[262],"maintained":[264],"during":[265],"function":[266],"execution.":[267],"By":[268],"combining":[269],"invariants":[271,331,413],"with":[272,514],"finite":[273],"event":[274],"traces":[275],"historical":[277],"transactions,":[278],"novel":[280],"counterexample-guided":[281],"abstraction":[282],"refinement":[283],"algorithm":[284],"proposed":[286,382],"implemented":[288,346],"SmCon":[290],"mine":[292],"compact":[293],"precise":[295],"contract-level":[296,427],"automata.":[297],"Additionally,":[298],"SPCon":[303,467],"mines":[305],"role":[307,471],"structures":[308],"transaction":[315],"application":[319],"bug":[322,335,435,492],"detection.":[323,436],"demonstrates":[326],"applications":[328,425,522],"seman":[333],"tic":[334],"detection":[336,358],"automated":[338],"verification.":[340],"An":[341],"invariant-based":[342],"semantic":[343],"test":[344,448],"oracle,":[345],"grey-box":[349],"fuzzing":[350],"tool":[351,442],"ContraMaster,":[352],"developed":[354],"enhance":[356],"vulnerability":[357],"contracts,":[361,452],"effectively":[362],"addressing":[363],"like":[365],"exception":[367],"disorder,":[368],"send,":[370],"integer":[372],"overflow/underflow.":[373],"For":[374],"issues,":[376],"verification":[378],"framework":[379],"FairCon":[380],"treats":[384],"games":[388],"focuses":[390],"four":[392],"derived":[395,509],"mechanism":[397],"game":[400],"theory.":[401],"Mechanism":[402],"models":[403,428,449],"employed":[405],"bounded":[407],"property":[409],"checking,":[410],"while":[411],"used":[415],"analyze":[417],"unbounded":[418],"cases.":[419],"explores":[423],"model-based":[430],"testing":[431],"access":[433],"control":[434],"ModCon":[437],"introduced":[439],"allows":[444],"users":[445],"provide":[447],"specifying":[453],"state":[454],"definitions,":[455],"transition":[456],"relations,":[457],"pre/post":[458],"conditions,":[459],"mapping":[462],"code.":[466],"leverages":[468],"identify":[474],"bugs":[476,498],"testing.":[482],"evaluation":[484],"results":[485],"demonstrate":[486],"high":[488],"accuracy":[489],"detection,":[493],"uncovering":[494],"11":[495],"previously":[496],"unknown":[497],"well-known":[501],"benchmark.":[504],"Briefly,":[505],"successfully":[508],"various":[510],"dy":[515],"namic":[516],"studied":[520]},"counts_by_year":[],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}