Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384155611> ?p ?o ?g. }
- W4384155611 abstract "Embracing software-driven smart contracts to fulfill legal agreements is a promising direction for digital transformation in the legal sector. Existing solutions mostly consider smart contracts as simple add-ons, without leveraging the programmability of smart contracts to realize complex semantics of legal agreements. In this paper, we propose iSyn, the first end-to-end system that synthesizes smart contracts to fulfill the semantics of financial legal agreements, with minimal human interventions. The design of iSyn centers around a novel intermediate representation (SmartIR) that closes the gap between the natural language sentences and smart contract statements. Specifically, iSyn includes a synergistic pipeline that unifies multiple NLP-techniques to accurately construct SmartIR instances given legal agreements, and performs template-based synthesis based on the SmartIR instances to synthesize smart contracts. We also design a validation framework to verify the correctness and detect known vulnerabilities of the synthesized smart contracts.We evaluate iSyn using legal agreements centering around financial transactions. The results show that iSyn-synthesized smart contracts are syntactically similar and semantically correct (or within a few edits), compared with the “ground truth” smart contracts manually developed by inspecting the legal agreements." @default.
- W4384155611 created "2023-07-14" @default.
- W4384155611 creator A5012621594 @default.
- W4384155611 creator A5045206037 @default.
- W4384155611 creator A5051018882 @default.
- W4384155611 creator A5051694349 @default.
- W4384155611 date "2023-07-12" @default.
- W4384155611 modified "2023-09-25" @default.
- W4384155611 title "iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements" @default.
- W4384155611 cites W1655078475 @default.
- W4384155611 cites W1792831685 @default.
- W4384155611 cites W1988301066 @default.
- W4384155611 cites W2028722148 @default.
- W4384155611 cites W2065489029 @default.
- W4384155611 cites W2078922545 @default.
- W4384155611 cites W2081580037 @default.
- W4384155611 cites W2096449544 @default.
- W4384155611 cites W2099908986 @default.
- W4384155611 cites W2101512909 @default.
- W4384155611 cites W2117772341 @default.
- W4384155611 cites W2128782367 @default.
- W4384155611 cites W2142384583 @default.
- W4384155611 cites W2142687653 @default.
- W4384155611 cites W2146105230 @default.
- W4384155611 cites W2149236697 @default.
- W4384155611 cites W2150656895 @default.
- W4384155611 cites W2155028447 @default.
- W4384155611 cites W2162960800 @default.
- W4384155611 cites W2529684611 @default.
- W4384155611 cites W2533941064 @default.
- W4384155611 cites W2624403284 @default.
- W4384155611 cites W2711122919 @default.
- W4384155611 cites W2734608416 @default.
- W4384155611 cites W2762513422 @default.
- W4384155611 cites W2788474500 @default.
- W4384155611 cites W2798393196 @default.
- W4384155611 cites W2805052744 @default.
- W4384155611 cites W2805827286 @default.
- W4384155611 cites W2903938540 @default.
- W4384155611 cites W2945102109 @default.
- W4384155611 cites W2945335951 @default.
- W4384155611 cites W2963323070 @default.
- W4384155611 cites W2963855554 @default.
- W4384155611 cites W2964259149 @default.
- W4384155611 cites W2972152617 @default.
- W4384155611 cites W2983258080 @default.
- W4384155611 cites W2983419145 @default.
- W4384155611 cites W2985948189 @default.
- W4384155611 cites W2989727767 @default.
- W4384155611 cites W2997429021 @default.
- W4384155611 cites W3012329970 @default.
- W4384155611 cites W3035390927 @default.
- W4384155611 cites W3102561203 @default.
- W4384155611 cites W3105187050 @default.
- W4384155611 cites W3149821397 @default.
- W4384155611 cites W3155602733 @default.
- W4384155611 cites W3161441563 @default.
- W4384155611 cites W3192907204 @default.
- W4384155611 cites W4234542549 @default.
- W4384155611 cites W4237412827 @default.
- W4384155611 cites W4255771497 @default.
- W4384155611 doi "https://doi.org/10.1145/3597926.3598091" @default.
- W4384155611 hasPublicationYear "2023" @default.
- W4384155611 type Work @default.
- W4384155611 citedByCount "0" @default.
- W4384155611 crossrefType "proceedings-article" @default.
- W4384155611 hasAuthorship W4384155611A5012621594 @default.
- W4384155611 hasAuthorship W4384155611A5045206037 @default.
- W4384155611 hasAuthorship W4384155611A5051018882 @default.
- W4384155611 hasAuthorship W4384155611A5051694349 @default.
- W4384155611 hasBestOaLocation W43841556111 @default.
- W4384155611 hasConcept C154945302 @default.
- W4384155611 hasConcept C184337299 @default.
- W4384155611 hasConcept C199360897 @default.
- W4384155611 hasConcept C2779950589 @default.
- W4384155611 hasConcept C38652104 @default.
- W4384155611 hasConcept C41008148 @default.
- W4384155611 hasConcept C55439883 @default.
- W4384155611 hasConcept C75949130 @default.
- W4384155611 hasConceptScore W4384155611C154945302 @default.
- W4384155611 hasConceptScore W4384155611C184337299 @default.
- W4384155611 hasConceptScore W4384155611C199360897 @default.
- W4384155611 hasConceptScore W4384155611C2779950589 @default.
- W4384155611 hasConceptScore W4384155611C38652104 @default.
- W4384155611 hasConceptScore W4384155611C41008148 @default.
- W4384155611 hasConceptScore W4384155611C55439883 @default.
- W4384155611 hasConceptScore W4384155611C75949130 @default.
- W4384155611 hasFunder F4320306076 @default.
- W4384155611 hasLocation W43841556111 @default.
- W4384155611 hasOpenAccess W4384155611 @default.
- W4384155611 hasPrimaryLocation W43841556111 @default.
- W4384155611 hasRelatedWork W2072806201 @default.
- W4384155611 hasRelatedWork W2890999343 @default.
- W4384155611 hasRelatedWork W3081780520 @default.
- W4384155611 hasRelatedWork W3091984645 @default.
- W4384155611 hasRelatedWork W3124555949 @default.
- W4384155611 hasRelatedWork W3147564684 @default.
- W4384155611 hasRelatedWork W3215743683 @default.
- W4384155611 hasRelatedWork W4200466848 @default.
- W4384155611 hasRelatedWork W4360604762 @default.