FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313202150> ?p ?o ?g. }

• W4313202150 endingPage "116" @default.
• W4313202150 startingPage "92" @default.
• W4313202150 abstract "Smart contracts have been subjected to several attacks that have exploited various vulnerabilities of languages like Solidity, which has resulted in huge financial losses. The functioning and deployment of smart contracts are somewhat different from classical programming environments. Once a smart contract is up and running, changing it, is very complicated and nearly infeasible as the contract is expected to be immutable when created. If we find a defect in a deployed smart contract, a new version of the contract has to be created and deployed with concurrence from the stakeholders. Further, when a new version of an existing contract is deployed, data stored in the previous contract does not get transferred automatically to the newly refined contract. We have to manually initialize the new contract with the past data which makes it very cumbersome and not very trustworthy. As neither updating a contract nor rolling back an update is possible, it greatly increases the complexity of implementation and places a huge responsibility while being deployed initially on the blockchain. The main rationale for smart contracts has been to enforce contracts safely among the stakeholders. In this paper, we shall discuss a framework for runtime monitoring to prevent the exploitation of a major class of vulnerabilities using the programmers’ annotations given in the smart contracts coded in Solidity. We have chosen several phrases for annotation mimicking declarations of concurrent programming languages so that the underlying run-time monitors can be automatically generated. The annotations simply reflect the intended constraints on the execution of programs relative to the object state relative to observables like method calls, exceptions, etc. Such a framework further adds to the advantage of debugging at the source level as the original structure is preserved and also enhances the trust of the user as the run-time monitoring assertion logs provide a rough proof-outline of the contract." @default.
• W4313202150 created "2023-01-06" @default.
• W4313202150 creator A5002224645 @default.
• W4313202150 date "2022-01-01" @default.
• W4313202150 modified "2023-10-05" @default.
• W4313202150 title "A Framework of Runtime Monitoring for Correct Execution of Smart Contracts" @default.
• W4313202150 cites W109545358 @default.
• W4313202150 cites W1546981056 @default.
• W4313202150 cites W1820726602 @default.
• W4313202150 cites W2052080511 @default.
• W4313202150 cites W2137361795 @default.
• W4313202150 cites W2538848838 @default.
• W4313202150 cites W2539190473 @default.
• W4313202150 cites W2593535131 @default.
• W4313202150 cites W2604844934 @default.
• W4313202150 cites W2769609281 @default.
• W4313202150 cites W2778144710 @default.
• W4313202150 cites W2805052744 @default.
• W4313202150 cites W2884898944 @default.
• W4313202150 cites W2885034081 @default.
• W4313202150 cites W2901412811 @default.
• W4313202150 cites W2918671138 @default.
• W4313202150 cites W2963610883 @default.
• W4313202150 cites W2964144608 @default.
• W4313202150 cites W2964257386 @default.
• W4313202150 cites W3005700089 @default.
• W4313202150 cites W3011238671 @default.
• W4313202150 cites W3016155638 @default.
• W4313202150 cites W3098607179 @default.
• W4313202150 cites W3104720502 @default.
• W4313202150 cites W3106007553 @default.
• W4313202150 cites W4240254872 @default.
• W4313202150 cites W4287778824 @default.
• W4313202150 cites W4300127641 @default.
• W4313202150 doi "https://doi.org/10.1007/978-3-031-23495-8_7" @default.
• W4313202150 hasPublicationYear "2022" @default.
• W4313202150 type Work @default.
• W4313202150 citedByCount "1" @default.
• W4313202150 crossrefType "book-chapter" @default.
• W4313202150 hasAuthorship W4313202150A5002224645 @default.
• W4313202150 hasConcept C105339364 @default.
• W4313202150 hasConcept C115903868 @default.
• W4313202150 hasConcept C149091818 @default.
• W4313202150 hasConcept C153701036 @default.
• W4313202150 hasConcept C186846655 @default.
• W4313202150 hasConcept C199360897 @default.
• W4313202150 hasConcept C2777904410 @default.
• W4313202150 hasConcept C2778362873 @default.
• W4313202150 hasConcept C2779687700 @default.
• W4313202150 hasConcept C2779950589 @default.
• W4313202150 hasConcept C38652104 @default.
• W4313202150 hasConcept C41008148 @default.
• W4313202150 hasConcept C80291951 @default.
• W4313202150 hasConceptScore W4313202150C105339364 @default.
• W4313202150 hasConceptScore W4313202150C115903868 @default.
• W4313202150 hasConceptScore W4313202150C149091818 @default.
• W4313202150 hasConceptScore W4313202150C153701036 @default.
• W4313202150 hasConceptScore W4313202150C186846655 @default.
• W4313202150 hasConceptScore W4313202150C199360897 @default.
• W4313202150 hasConceptScore W4313202150C2777904410 @default.
• W4313202150 hasConceptScore W4313202150C2778362873 @default.
• W4313202150 hasConceptScore W4313202150C2779687700 @default.
• W4313202150 hasConceptScore W4313202150C2779950589 @default.
• W4313202150 hasConceptScore W4313202150C38652104 @default.
• W4313202150 hasConceptScore W4313202150C41008148 @default.
• W4313202150 hasConceptScore W4313202150C80291951 @default.
• W4313202150 hasLocation W43132021501 @default.
• W4313202150 hasOpenAccess W4313202150 @default.
• W4313202150 hasPrimaryLocation W43132021501 @default.
• W4313202150 hasRelatedWork W2104078272 @default.
• W4313202150 hasRelatedWork W3129477551 @default.
• W4313202150 hasRelatedWork W3137189469 @default.
• W4313202150 hasRelatedWork W3159818932 @default.
• W4313202150 hasRelatedWork W3170487895 @default.
• W4313202150 hasRelatedWork W3198302563 @default.
• W4313202150 hasRelatedWork W4287547988 @default.
• W4313202150 hasRelatedWork W4313202150 @default.
• W4313202150 hasRelatedWork W4313535222 @default.
• W4313202150 hasRelatedWork W4323845452 @default.
• W4313202150 isParatext "false" @default.
• W4313202150 isRetracted "false" @default.
• W4313202150 workType "book-chapter" @default.