Reliable smart contracts: State-of-the-art, applications, challenges and future directions

César Sánchez; Gerardo Schneider; Martin Leucker

doi:10.1007/978-3-030-03427-6_21

Reliable smart contracts: State-of-the-art, applications, challenges and future directions

César Sánchez^*, Gerardo Schneider, Martin Leucker

^*Korrespondierende/r Autor/-in für diese Arbeit

Institut für Softwaretechnik und Programmiersprachen

Abstract

The popularization of blockchain technologies have brought a sudden interest in software that executes on top of blockchain, the so called smart contracts, with many potential applications, from financial contracts to unforgeable elections. Smart contracts are pieces of software that manipulate the shared data stored in the blockchain, with the promise that no central authority can forge or manipulate the execution or its results. This promise also involves an important risk, as well-intentioned users cannot easily roll-back undesired effects due to errors, or prevent other users from finding and exploiting loop-holes in deployed smart contracts. In this ISoLA track we seek to attract a variety of experts in the different aspects of smart contract reliability, discuss the state of the art and explore avenues for future research.

Originalsprache	Englisch
Titel	ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Redakteure/-innen	Tiziana Margaria, Bernhard Steffen
Seitenumfang	5
Band	11247 LNCS
Herausgeber (Verlag)	Springer, Cham
Erscheinungsdatum	30.10.2018
Seiten	275-279
ISBN (Print)	978-3-030-03426-9
ISBN (elektronisch)	978-3-030-03427-6
DOIs	https://doi.org/10.1007/978-3-030-03427-6_21
Publikationsstatus	Veröffentlicht - 30.10.2018
Veranstaltung	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Limassol, Zypern Dauer: 05.11.2018 → 09.11.2018 Konferenznummer: 220209

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Zugriff auf Dokument

10.1007/978-3-030-03427-6_21

Andere Dateien und Links

www.scopus.com

Zitieren

Sánchez, C., Schneider, G., & Leucker, M. (2018). Reliable smart contracts: State-of-the-art, applications, challenges and future directions. in T. Margaria, & B. Steffen (Hrsg.), ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (Band 11247 LNCS, S. 275-279). (Lecture Notes in Computer Science; Band 11247 LNCS). Springer, Cham. https://doi.org/10.1007/978-3-030-03427-6_21

Sánchez, César ; Schneider, Gerardo ; Leucker, Martin. / Reliable smart contracts: State-of-the-art, applications, challenges and future directions. ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Hrsg. / Tiziana Margaria ; Bernhard Steffen. Band 11247 LNCS Springer, Cham, 2018. S. 275-279 (Lecture Notes in Computer Science).

@inproceedings{f12d6abc090f46a0a7a10155823969eb,

title = "Reliable smart contracts: State-of-the-art, applications, challenges and future directions",

abstract = "The popularization of blockchain technologies have brought a sudden interest in software that executes on top of blockchain, the so called smart contracts, with many potential applications, from financial contracts to unforgeable elections. Smart contracts are pieces of software that manipulate the shared data stored in the blockchain, with the promise that no central authority can forge or manipulate the execution or its results. This promise also involves an important risk, as well-intentioned users cannot easily roll-back undesired effects due to errors, or prevent other users from finding and exploiting loop-holes in deployed smart contracts. In this ISoLA track we seek to attract a variety of experts in the different aspects of smart contract reliability, discuss the state of the art and explore avenues for future research.",

author = "C{\'e}sar S{\'a}nchez and Gerardo Schneider and Martin Leucker",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018. Copyright: Copyright 2018 Elsevier B.V., All rights reserved.; 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation , ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",

year = "2018",

month = oct,

day = "30",

doi = "10.1007/978-3-030-03427-6_21",

language = "English",

isbn = "978-3-030-03426-9",

volume = "11247 LNCS",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Cham",

pages = "275--279",

editor = "Margaria, {Tiziana } and Steffen, {Bernhard }",

booktitle = "ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice",

}

Sánchez, C, Schneider, G & Leucker, M 2018, Reliable smart contracts: State-of-the-art, applications, challenges and future directions. in T Margaria & B Steffen (Hrsg.), ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Bd. 11247 LNCS, Lecture Notes in Computer Science, Bd. 11247 LNCS, Springer, Cham, S. 275-279, 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation , Limassol, Zypern, 05.11.18. https://doi.org/10.1007/978-3-030-03427-6_21

Reliable smart contracts: State-of-the-art, applications, challenges and future directions. / Sánchez, César; Schneider, Gerardo; Leucker, Martin.
ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Hrsg. / Tiziana Margaria; Bernhard Steffen. Band 11247 LNCS Springer, Cham, 2018. S. 275-279 (Lecture Notes in Computer Science; Band 11247 LNCS).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - Reliable smart contracts: State-of-the-art, applications, challenges and future directions

AU - Sánchez, César

AU - Schneider, Gerardo

AU - Leucker, Martin

N1 - Conference code: 220209

PY - 2018/10/30

Y1 - 2018/10/30

N2 - The popularization of blockchain technologies have brought a sudden interest in software that executes on top of blockchain, the so called smart contracts, with many potential applications, from financial contracts to unforgeable elections. Smart contracts are pieces of software that manipulate the shared data stored in the blockchain, with the promise that no central authority can forge or manipulate the execution or its results. This promise also involves an important risk, as well-intentioned users cannot easily roll-back undesired effects due to errors, or prevent other users from finding and exploiting loop-holes in deployed smart contracts. In this ISoLA track we seek to attract a variety of experts in the different aspects of smart contract reliability, discuss the state of the art and explore avenues for future research.

AB - The popularization of blockchain technologies have brought a sudden interest in software that executes on top of blockchain, the so called smart contracts, with many potential applications, from financial contracts to unforgeable elections. Smart contracts are pieces of software that manipulate the shared data stored in the blockchain, with the promise that no central authority can forge or manipulate the execution or its results. This promise also involves an important risk, as well-intentioned users cannot easily roll-back undesired effects due to errors, or prevent other users from finding and exploiting loop-holes in deployed smart contracts. In this ISoLA track we seek to attract a variety of experts in the different aspects of smart contract reliability, discuss the state of the art and explore avenues for future research.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-85056459705&origin=inward&txGid=fc1ca4b2e9a584d76c3f0baef4c5e50e

U2 - 10.1007/978-3-030-03427-6_21

DO - 10.1007/978-3-030-03427-6_21

M3 - Conference contribution

SN - 978-3-030-03426-9

VL - 11247 LNCS

T3 - Lecture Notes in Computer Science

SP - 275

EP - 279

BT - ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer, Cham

T2 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 5 November 2018 through 9 November 2018

ER -

Sánchez C, Schneider G, Leucker M. Reliable smart contracts: State-of-the-art, applications, challenges and future directions. in Margaria T, Steffen B, Hrsg., ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Band 11247 LNCS. Springer, Cham. 2018. S. 275-279. (Lecture Notes in Computer Science). doi: 10.1007/978-3-030-03427-6_21

Reliable smart contracts: State-of-the-art, applications, challenges and future directions

Abstract

UN SDGs

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Zitieren