Sergey, I;
Hobor, A;
(2017)
A Concurrent Perspective on Smart Contracts.
In: Brenner, M and Rohloff, K and Bonneau, J and Miller, A and Ryan, P Y A and Teague, V and Bracciali, A and Sala, M and Pintore, F and Jakobsson, M, (eds.)
Financial Cryptography and Data Security. FC 2017.
(pp. pp. 478-493).
Springer, Cham
Preview |
Text
csc-wtsc17.pdf - Accepted Version Download (303kB) | Preview |
Abstract
In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency. We examine two real-world examples from the Ethereum blockchain and analyzing how they are vulnerable to bugs that are closely reminiscent to those that often occur in traditional concurrent programs. We then elaborate on the relation between observable contract behaviors and well-studied concurrency topics, such as atomicity, interference, synchronization, and resource ownership. The described contracts-as-concurrent-objects analogy provides deeper understanding of potential threats for smart contracts, indicate better engineering practices, and enable applications of existing state-of-the-art formal verification techniques.
| Type: | Proceedings paper |
|---|---|
| Title: | A Concurrent Perspective on Smart Contracts |
| Event: | International Conference on Financial Cryptography and Data Security |
| Location: | Malta |
| Dates: | 07 April 2017 - 07 April 2017 |
| ISBN-13: | 978-3-319-70277-3 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-319-70278-0_30 |
| Publisher version: | https://doi.org/10.1007/978-3-319-70278-0_30 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10038867 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
