@inproceedings{36d699c58af64949b4a2821123ffaefd,
title = "Tool Demonstration: FSolidM for designing secure ethereum smart contracts",
abstract = "Blockchain-based distributed computing platforms enable the trusted execution of computation—defined in the form of smart contracts—without trusted agents. Smart contracts are envisioned to have a variety of applications, ranging from financial to IoT asset tracking. Unfortunately, the development of smart contracts has proven to be extremely error prone. In practice, contracts are riddled with security vulnerabilities comprising a critical issue since bugs are by design non-fixable and contracts may handle financial assets of significant value. To facilitate the development of secure smart contracts, we have created the FSolidM framework, which allows developers to define contracts as finite state machines (FSMs) with rigorous and clear semantics. FSolidM provides an easy-to-use graphical editor for specifying FSMs, a code generator for creating Ethereum smart contracts, and a set of plugins that developers may add to their FSMs to enhance security and functionality.",
author = "Anastasia Mavridou and Aron Laszka",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2018.; 7th International Conference on Principles of Security and Trust, POST 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 ; Conference date: 14-04-2018 Through 20-04-2018",
year = "2018",
doi = "10.1007/978-3-319-89722-6_11",
language = "English (US)",
isbn = "9783319897219",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "270--277",
editor = "Ralf Kusters and Lujo Bauer",
booktitle = "Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings",
address = "Germany",
}