TY - GEN
T1 - Designing Secure Ethereum Smart Contracts
T2 - 22nd International Conference on Financial Cryptography and Data Security, 2018
AU - Mavridou, Anastasia
AU - Laszka, Aron
N1 - Publisher Copyright:
© International Financial Cryptography Association 2018.
PY - 2018
Y1 - 2018
N2 - The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of areas, including finance and the Internet-of-Things. However, a significant number of smart contracts deployed in practice suffer from security vulnerabilities, which enable malicious users to steal assets from a contract or to cause damage. Vulnerabilities present a serious issue since contracts may handle financial assets of considerable value, and contract bugs are non-fixable by design. To help developers create more secure smart contracts, we introduce FSolidM, a framework rooted in rigorous semantics for designing contracts as Finite State Machines (FSM). We present a tool for creating FSM on an easy-to-use graphical interface and for automatically generating Ethereum contracts. Further, we introduce a set of design patterns, which we implement as plugins that developers can easily add to their contracts to enhance security and functionality.
AB - The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of areas, including finance and the Internet-of-Things. However, a significant number of smart contracts deployed in practice suffer from security vulnerabilities, which enable malicious users to steal assets from a contract or to cause damage. Vulnerabilities present a serious issue since contracts may handle financial assets of considerable value, and contract bugs are non-fixable by design. To help developers create more secure smart contracts, we introduce FSolidM, a framework rooted in rigorous semantics for designing contracts as Finite State Machines (FSM). We present a tool for creating FSM on an easy-to-use graphical interface and for automatically generating Ethereum contracts. Further, we introduce a set of design patterns, which we implement as plugins that developers can easily add to their contracts to enhance security and functionality.
UR - http://www.scopus.com/inward/record.url?scp=85072873038&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85072873038&partnerID=8YFLogxK
U2 - 10.1007/978-3-662-58387-6_28
DO - 10.1007/978-3-662-58387-6_28
M3 - Conference contribution
AN - SCOPUS:85072873038
SN - 9783662583869
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 523
EP - 540
BT - Financial Cryptography and Data Security - 22nd International Conference, FC 2018, Revised Selected Papers
A2 - Meiklejohn, Sarah
A2 - Sako, Kazue
PB - Springer Verlag
Y2 - 26 February 2018 through 2 March 2018
ER -