Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86726Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Pace, Gordon J. | - |
| dc.contributor.author | Sánchez, César | - |
| dc.contributor.author | Schneider, Gerardo | - |
| dc.date.accessioned | 2022-01-11T14:01:04Z | - |
| dc.date.available | 2022-01-11T14:01:04Z | - |
| dc.date.issued | 2020 | - |
| dc.identifier.citation | Pace, G. J., Sánchez, C., & Schneider, G. (2020). Reliable smart contracts. In T. Margaria, & B. Steffen (Eds.), Leveraging applications of formal methods, verification and validation : applications (pp. 3-8). Cham: Springer. | en_GB |
| dc.identifier.uri | https://www.um.edu.mt/library/oar/handle/123456789/86726 | - |
| dc.description.abstract | The rise of smart contracts executed on blockchain and other distributed ledger technologies enabled trustless yet decentralised computation. Various applications take advantage of this computational model, including enforced financial contracts, self-sovereign identity and voting. But smart contracts are nothing but software running on a blockchain, with risks of malfunction due to bugs in the code. Compared to traditional systems, there is an additional risk in that erroneous computation or transactions triggered by a smart contract cannot be easily rolled back due to the immutability of the underlying execution model. This ISoLA track brings together a number of experts in the field of smart contract reliability and verification to discuss the state-of-the-art in smart contract dependability and discuss research challenges and future directions. | en_GB |
| dc.language.iso | en | en_GB |
| dc.publisher | Springer | en_GB |
| dc.rights | info:eu-repo/semantics/restrictedAccess | en_GB |
| dc.subject | Intelligent agents (Computer software) | en_GB |
| dc.subject | Deontic logic | en_GB |
| dc.subject | Relevance logic | en_GB |
| dc.subject | Service-oriented architecture (Computer science) | en_GB |
| dc.title | Reliable smart contracts | en_GB |
| dc.title.alternative | Leveraging applications of formal methods, verification and validation : applications | en_GB |
| dc.type | bookPart | en_GB |
| dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
| dc.description.reviewed | peer-reviewed | en_GB |
| dc.identifier.doi | 10.1007/978-3-030-61467-6_1 | - |
| Appears in Collections: | Scholarly Works - FacICTCS | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Reliable_smart_contracts.pdf Restricted Access | 156.59 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.