Trust in smart contracts is a process, as well

Firas Al Khalil; Tom Butler; Leona O’Brien; Marcello Ceci

doi:10.1007/978-3-319-70278-0_32

Trust in smart contracts is a process, as well

Firas Al Khalil
, Tom Butler
, Leona O’Brien
, Marcello Ceci

Cork University Business School

University College Cork

Research output: Chapter in Book/Report/Conference proceedings › Chapter › peer-review

Abstract

Distributed ledger technologies are rising in popularity, mainly for the host of financial applications they potentially enable, through smart contracts. Several implementations of distributed ledgers have been proposed, and different languages for the development of smart contracts have been suggested. A great deal of attention is given to the practice of development, i.e. programming, of smart contracts. In this position paper, we argue that more attention should be given to the “traditional developers” of contracts, namely the lawyers, and we propose a list of requirements for a human and machine-readable contract authoring language, friendly to lawyers, serving as a common (and a specification) language, for programmers, and the parties to a contract.

Original language	English
Title of host publication	Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Revised Selected Papers
Editors	Andrew Miller, Michael Brenner, Kurt Rohloff, Joseph Bonneau, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson, Peter Y.A. Ryan
Publisher	Springer Verlag
Pages	510-519
Number of pages	10
ISBN (Print)	9783319702773
DOIs	https://doi.org/10.1007/978-3-319-70278-0_32
Publication status	Published - 2017
Event	21st International Workshops on Financial Cryptography and Data Security, FC 2017 held in conjuction with 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, 4th Workshop on Bitcoin and Blockchain Research, BITCOIN 2017, 2nd Workshop on Advances in Secure Electronic Voting Schemes, VOTING 2017, 1st Workshop on Trusted Smart Contracts, WTSC 2017 and 1st Workshop on Targeted Attacks, TA 2017 - Sliema, Malta Duration: 7 Apr 2017 → 7 Apr 2017

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10323 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	21st International Workshops on Financial Cryptography and Data Security, FC 2017 held in conjuction with 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, 4th Workshop on Bitcoin and Blockchain Research, BITCOIN 2017, 2nd Workshop on Advances in Secure Electronic Voting Schemes, VOTING 2017, 1st Workshop on Trusted Smart Contracts, WTSC 2017 and 1st Workshop on Targeted Attacks, TA 2017
Country/Territory	Malta
City	Sliema
Period	7/04/17 → 7/04/17

Access to Document

10.1007/978-3-319-70278-0_32

Cite this

Al Khalil, F., Butler, T., O’Brien, L., & Ceci, M. (2017). Trust in smart contracts is a process, as well. In A. Miller, M. Brenner, K. Rohloff, J. Bonneau, V. Teague, A. Bracciali, M. Sala, F. Pintore, M. Jakobsson, & P. Y. A. Ryan (Eds.), Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Revised Selected Papers (pp. 510-519). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10323 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-70278-0_32

Al Khalil, Firas ; Butler, Tom ; O’Brien, Leona et al. / Trust in smart contracts is a process, as well. Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Revised Selected Papers. editor / Andrew Miller ; Michael Brenner ; Kurt Rohloff ; Joseph Bonneau ; Vanessa Teague ; Andrea Bracciali ; Massimiliano Sala ; Federico Pintore ; Markus Jakobsson ; Peter Y.A. Ryan. Springer Verlag, 2017. pp. 510-519 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{a849fae6af3743fc8d4345dccb7ce9b4,

title = "Trust in smart contracts is a process, as well",

abstract = "Distributed ledger technologies are rising in popularity, mainly for the host of financial applications they potentially enable, through smart contracts. Several implementations of distributed ledgers have been proposed, and different languages for the development of smart contracts have been suggested. A great deal of attention is given to the practice of development, i.e. programming, of smart contracts. In this position paper, we argue that more attention should be given to the “traditional developers” of contracts, namely the lawyers, and we propose a list of requirements for a human and machine-readable contract authoring language, friendly to lawyers, serving as a common (and a specification) language, for programmers, and the parties to a contract.",

author = "\{Al Khalil\}, Firas and Tom Butler and Leona O{\textquoteright}Brien and Marcello Ceci",

note = "Publisher Copyright: {\textcopyright} International Financial Cryptography Association 2017.; 21st International Workshops on Financial Cryptography and Data Security, FC 2017 held in conjuction with 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, 4th Workshop on Bitcoin and Blockchain Research, BITCOIN 2017, 2nd Workshop on Advances in Secure Electronic Voting Schemes, VOTING 2017, 1st Workshop on Trusted Smart Contracts, WTSC 2017 and 1st Workshop on Targeted Attacks, TA 2017 ; Conference date: 07-04-2017 Through 07-04-2017",

year = "2017",

doi = "10.1007/978-3-319-70278-0\_32",

language = "English",

isbn = "9783319702773",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "510--519",

editor = "Andrew Miller and Michael Brenner and Kurt Rohloff and Joseph Bonneau and Vanessa Teague and Andrea Bracciali and Massimiliano Sala and Federico Pintore and Markus Jakobsson and Ryan, \{Peter Y.A.\}",

booktitle = "Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Revised Selected Papers",

address = "Germany",

}

Al Khalil, F, Butler, T, O’Brien, L & Ceci, M 2017, Trust in smart contracts is a process, as well. in A Miller, M Brenner, K Rohloff, J Bonneau, V Teague, A Bracciali, M Sala, F Pintore, M Jakobsson & PYA Ryan (eds), Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10323 LNCS, Springer Verlag, pp. 510-519, 21st International Workshops on Financial Cryptography and Data Security, FC 2017 held in conjuction with 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, 4th Workshop on Bitcoin and Blockchain Research, BITCOIN 2017, 2nd Workshop on Advances in Secure Electronic Voting Schemes, VOTING 2017, 1st Workshop on Trusted Smart Contracts, WTSC 2017 and 1st Workshop on Targeted Attacks, TA 2017, Sliema, Malta, 7/04/17. https://doi.org/10.1007/978-3-319-70278-0_32

Trust in smart contracts is a process, as well. / Al Khalil, Firas; Butler, Tom; O’Brien, Leona et al.
Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Revised Selected Papers. ed. / Andrew Miller; Michael Brenner; Kurt Rohloff; Joseph Bonneau; Vanessa Teague; Andrea Bracciali; Massimiliano Sala; Federico Pintore; Markus Jakobsson; Peter Y.A. Ryan. Springer Verlag, 2017. p. 510-519 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10323 LNCS).

Research output: Chapter in Book/Report/Conference proceedings › Chapter › peer-review

TY - CHAP

T1 - Trust in smart contracts is a process, as well

AU - Al Khalil, Firas

AU - Butler, Tom

AU - O’Brien, Leona

AU - Ceci, Marcello

N1 - Publisher Copyright: © International Financial Cryptography Association 2017.

PY - 2017

Y1 - 2017

N2 - Distributed ledger technologies are rising in popularity, mainly for the host of financial applications they potentially enable, through smart contracts. Several implementations of distributed ledgers have been proposed, and different languages for the development of smart contracts have been suggested. A great deal of attention is given to the practice of development, i.e. programming, of smart contracts. In this position paper, we argue that more attention should be given to the “traditional developers” of contracts, namely the lawyers, and we propose a list of requirements for a human and machine-readable contract authoring language, friendly to lawyers, serving as a common (and a specification) language, for programmers, and the parties to a contract.

AB - Distributed ledger technologies are rising in popularity, mainly for the host of financial applications they potentially enable, through smart contracts. Several implementations of distributed ledgers have been proposed, and different languages for the development of smart contracts have been suggested. A great deal of attention is given to the practice of development, i.e. programming, of smart contracts. In this position paper, we argue that more attention should be given to the “traditional developers” of contracts, namely the lawyers, and we propose a list of requirements for a human and machine-readable contract authoring language, friendly to lawyers, serving as a common (and a specification) language, for programmers, and the parties to a contract.

UR - https://www.scopus.com/pages/publications/85035119302

U2 - 10.1007/978-3-319-70278-0_32

DO - 10.1007/978-3-319-70278-0_32

M3 - Chapter

AN - SCOPUS:85035119302

SN - 9783319702773

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 510

EP - 519

BT - Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Revised Selected Papers

A2 - Miller, Andrew

A2 - Brenner, Michael

A2 - Rohloff, Kurt

A2 - Bonneau, Joseph

A2 - Teague, Vanessa

A2 - Bracciali, Andrea

A2 - Sala, Massimiliano

A2 - Pintore, Federico

A2 - Jakobsson, Markus

A2 - Ryan, Peter Y.A.

PB - Springer Verlag

T2 - 21st International Workshops on Financial Cryptography and Data Security, FC 2017 held in conjuction with 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, 4th Workshop on Bitcoin and Blockchain Research, BITCOIN 2017, 2nd Workshop on Advances in Secure Electronic Voting Schemes, VOTING 2017, 1st Workshop on Trusted Smart Contracts, WTSC 2017 and 1st Workshop on Targeted Attacks, TA 2017

Y2 - 7 April 2017 through 7 April 2017

ER -

Al Khalil F, Butler T, O’Brien L, Ceci M. Trust in smart contracts is a process, as well. In Miller A, Brenner M, Rohloff K, Bonneau J, Teague V, Bracciali A, Sala M, Pintore F, Jakobsson M, Ryan PYA, editors, Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Revised Selected Papers. Springer Verlag. 2017. p. 510-519. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-70278-0_32

Trust in smart contracts is a process, as well

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this