2018/02/26 by Anastasia Mavridou, Mavridou, Anastasia, Áron Lászka +1 · 3 citations
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Security and Verification in Computing #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.1802.09949
openalex publication_date 2018/02/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Blockchain-based distributed computing platforms enable the trusted execution\nof computation - defined in the form of smart contracts - without trusted\nagents. Smart contracts are envisioned to have a variety of applications,\nranging from financial to IoT asset tracking. Unfortunately, the development of\nsmart contracts has proven to be extremely error prone. In practice, contracts\nare riddled with security vulnerabilities comprising a critical issue since\nbugs are by design non-fixable and contracts may handle financial assets of\nsignificant value. To facilitate the development of secure smart contracts, we\nhave created the FSolidM framework, which allows developers to define contracts\nas finite state machines (FSMs) with rigorous and clear semantics. FSolidM\nprovides an easy-to-use graphical editor for specifying FSMs, a code generator\nfor creating Ethereum smart contracts, and a set of plugins that developers may\nadd to their FSMs to enhance security and functionality.\n