Graduate School and Research Center in Digital Sciences

SoK: Development of secure smart contracts - Lessons from a graduate course

di angelo, Monika; Sack, Christian; Salzer, Gernot

FC 2019, 3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, In Association with Financial Cryptography 2019, 22 February 2019, St Kitts, Royaume-Uni 

Smart contracts are programs on top of blockchains and cryptocurrencies. This new technology allows parties to exchange valuable assets without mutual trust, with smart contracts controlling the interaction between the parties. Developing smart contracts, or more generally decentralized applications, is challenging. First, they run in a concurrent environment that admits race conditions; adversaries may attack smart contracts by influencing the order of transactions. Second, the required functionality is often based on roles and states. This proves to be difficult to implement in current smart contract languages. Third, as a distinctive feature, smart contracts are immutable, hence bugs cannot be corrected easily. At the same time, bugs may cause (and have already caused) tremendous losses; they are to be avoided by all means. This paper discusses our approach of teaching the development of secure smart contracts on the Ethereum platform at university level. This is a challenging task in many respects. The underlying technologies evolve rapidly and documentation lags behind. Available tools are in different stages of development, and even the most mature ones are still difficult to use. The development of secure smart contracts is not yet a wellestablished discipline. Our aim is to share our ideas, didactic concept, materials, insights, and lessons learned.

Document Bibtex

Title:SoK: Development of secure smart contracts - Lessons from a graduate course
Keywords:smart contract, secure development, university course, Ethereum, Solidity
City:St Kitts
Department:Digital Security
Eurecom ref:5935
Copyright: IACR
Bibtex: @inproceedings{EURECOM+5935, year = {2019}, title = {{S}o{K}: {D}evelopment of secure smart contracts - {L}essons from a graduate course}, author = {di angelo, {M}onika and {S}ack, {C}hristian and {S}alzer, {G}ernot}, booktitle = {{FC} 2019, 3rd {W}orkshop on {T}rusted {S}mart {C}ontracts, {F}inancial {C}ryptography 2019, {I}n {A}ssociation with {F}inancial {C}ryptography 2019, 22 {F}ebruary 2019, {S}t {K}itts, {R}oyaume-{U}ni \&\#13;\&\#10;}, address = {{S}t {K}itts, {UNITED} {KINGDOM}}, month = {02}, url = {} }
See also: