{"id":"https://openalex.org/W3077905897","doi":"https://doi.org/10.1109/icbc48266.2020.9169428","title":"Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid","display_name":"Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid","publication_year":2020,"publication_date":"2020-05-01","ids":{"openalex":"https://openalex.org/W3077905897","doi":"https://doi.org/10.1109/icbc48266.2020.9169428","mag":"3077905897"},"language":"en","primary_location":{"id":"doi:10.1109/icbc48266.2020.9169428","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icbc48266.2020.9169428","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","raw_type":"proceedings-article"},"type":"article","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":true,"raw_author_name":"Keerthi Nelaturu","raw_affiliation_strings":["University of Toronto"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041385783","display_name":"Anastasia Mavridoul","orcid":null},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anastasia Mavridoul","raw_affiliation_strings":["NASA Ames Research Center, SGT Inc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NASA Ames Research Center, SGT Inc","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"middle","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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049435924","display_name":"\u00c1ron L\u00e1szka","orcid":"https://orcid.org/0000-0001-7400-2357"},"institutions":[{"id":"https://openalex.org/I44461941","display_name":"University of Houston","ror":"https://ror.org/048sx0r50","country_code":"US","type":"education","lineage":["https://openalex.org/I44461941"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aron Laszka","raw_affiliation_strings":["University of Houston"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Houston","institution_ids":["https://openalex.org/I44461941"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5063566849"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":7.2374,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.97188784,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"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.9988999962806702,"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.9988999962806702,"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/T11424","display_name":"Security and Verification in Computing","score":0.9979000091552734,"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.9970999956130981,"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/software-deployment","display_name":"Software deployment","score":0.8703638315200806},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7850787043571472},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.7545101642608643},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7254218459129333},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5567488670349121},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.5522735118865967},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.505169689655304},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.4945466220378876},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38376691937446594},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3766370117664337},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12101340293884277}],"concepts":[{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.8703638315200806},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7850787043571472},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.7545101642608643},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7254218459129333},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5567488670349121},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.5522735118865967},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.505169689655304},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.4945466220378876},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38376691937446594},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3766370117664337},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12101340293884277},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icbc48266.2020.9169428","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icbc48266.2020.9169428","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W133051671","https://openalex.org/W2048903680","https://openalex.org/W2118229393","https://openalex.org/W2244544521","https://openalex.org/W2538848838","https://openalex.org/W2539190473","https://openalex.org/W2576281169","https://openalex.org/W2620854846","https://openalex.org/W2625485807","https://openalex.org/W2765547782","https://openalex.org/W2790202156","https://openalex.org/W2804390587","https://openalex.org/W2805052744","https://openalex.org/W2885034081","https://openalex.org/W2899026971","https://openalex.org/W2906668391","https://openalex.org/W2908007588","https://openalex.org/W2954151438","https://openalex.org/W2963465913","https://openalex.org/W2963610883","https://openalex.org/W2970809537","https://openalex.org/W2970967309","https://openalex.org/W2971097497","https://openalex.org/W2979602992","https://openalex.org/W3015325345","https://openalex.org/W3100733828","https://openalex.org/W3101321551","https://openalex.org/W3105187050","https://openalex.org/W6732161737","https://openalex.org/W6757586532","https://openalex.org/W6757732742","https://openalex.org/W6766964008"],"related_works":["https://openalex.org/W2331043530","https://openalex.org/W4316659001","https://openalex.org/W3122267592","https://openalex.org/W2042616262","https://openalex.org/W17195039","https://openalex.org/W2498391341","https://openalex.org/W3015380456","https://openalex.org/W4313255991","https://openalex.org/W3214248890","https://openalex.org/W3139517782"],"abstract_inverted_index":{"Smart":[0],"contracts":[1,96,130,170],"enable":[2],"the":[3,26,30,54,87,122,141,151],"creation":[4],"of":[5,12,32,50,92,128,148,167],"decentralized":[6,16],"applications":[7,17],"which":[8,158],"often":[9,61],"handle":[10],"assets":[11],"large":[13],"value.":[14],"These":[15],"are":[18],"frequently":[19],"built":[20],"on":[21,67,113],"multiple":[22,93],"interacting":[23,94,129,168],"contracts.":[24,80],"While":[25],"underlying":[27],"platform":[28],"ensures":[29],"correctness":[31],"smart":[33,68,95,169],"contract":[34,63,69,110,153,156],"execution,":[35],"today":[36],"developers":[37],"continue":[38],"struggling":[39],"to":[40,133,161],"create":[41],"functionally":[42],"correct":[43],"contracts,":[44],"as":[45],"evidenced":[46],"by":[47,97],"a":[48,99,119,134,145],"number":[49],"security":[51],"incidents":[52,60],"in":[53],"recent":[55],"past.":[56],"Even":[57],"though":[58],"these":[59],"exploit":[62],"interaction,":[64,157],"prior":[65],"work":[66],"verification,":[70,124],"vulnerability":[71],"discovery,":[72],"and":[73,90,126,155,164],"secure":[74],"development":[75,89],"typically":[76],"considers":[77],"only":[78],"individual":[79],"This":[81],"paper":[82],"proposes":[83],"an":[84,138],"approach":[85],"for":[86,105,121],"correct-by-design":[88],"deployment":[91,103,127,135],"introducing":[98],"graphical":[100],"notation":[101],"(called":[102],"diagrams)":[104],"specifying":[106],"possible":[107],"interactions":[108],"between":[109,150],"types.":[111],"Based":[112],"this":[114],"notation,":[115],"it":[116],"later":[117],"presents":[118],"framework":[120,143],"automated":[123],"generation,":[125],"that":[131],"conform":[132],"diagram.":[136],"As":[137],"added":[139],"benefit,":[140],"proposed":[142],"provides":[144],"clear":[146],"separation":[147],"concerns":[149],"internal":[152],"behavior":[154],"allows":[159],"one":[160],"compositionally":[162],"model":[163],"analyze":[165],"systems":[166],"efficiently.":[171]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":3}],"updated_date":"2026-04-23T06:14:38.165362","created_date":"2025-10-10T00:00:00"}