Links

Hosted version: FSolidM design studio 
Disclaimer: This hosted version can be used only for non-commercial or academic purposes.

Source Code: https://github.com/anmavrid/smart-contracts

Slides:

• Designing Secure Ethereum Smart Contracts with FSolidM
• The Blockchain: What it Is & Why it Matters

Publications:

• VeriSolid: Correct-by-Design Smart Contracts for Ethereum - connection with verification tools
• Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
• Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts and Technical Report
• SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities

Contact: Anastasia Mavridou

Contributors:
 Aron Laszka (University of Houston), Abhishek Dubey (Vanderbilt University), Emmanouela Stachtiari (Aristotle University of Thessaloniki)