Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts

26 February 2018

Papers citing "Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts"

10 / 10 papers shown

Title
Smart Contracts for SMEs and Large Companies C. G. Liu P. Bodorik D. Jutla 52 0 0 28 May 2025
Guiding LLM-based Smart Contract Generation with Finite State Machine Hao Luo Yuhao Lin Xiao Yan Xintong Hu Yanjie Wang Qiming Zeng Hao Wang Jiawei Jiang 56 0 0 13 May 2025
On the Suitability of Blockchain Platforms for IoT Applications: Architectures, Security, Privacy, and Performance Sotirios Brotsis Konstantinos Limniotis G. Bendiab N. Kolokotronis S. Shiaeles 41 67 0 06 Sep 2021
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts Shaokai Lin Xinyuan Sun Jianan Yao Ronghui Gu 47 4 0 03 Mar 2021
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts C. F. Torres Antonio Ken Iannillo Arthur Gervais R. State 52 39 0 15 Jan 2021
Bitcoin Trace-Net: Formal Contract Verification at Signing Time J. Chiang 50 1 0 15 Jul 2020
An Overview on Smart Contracts: Challenges, Advances and Platforms Zibin Zheng Shaoan Xie Hongning Dai Weili Chen Xiangping Chen J. Weng Muhammad Imran AILaw 76 805 0 22 Dec 2019
Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media Afiya Ayman Shanto Roy Amin Alipour Aron Laszka 57 7 0 15 May 2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum Anastasia Mavridou Aron Laszka Emmanouela Stachtiari A. Dubey 37 123 0 04 Jan 2019
Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains R. Parizi Ali Dehghantanha Kim-Kwang Raymond Choo Amritraj Singh 38 143 0 07 Sep 2018