Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
暂无分享,去创建一个
[1] Aron Laszka,et al. Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach , 2017, Financial Cryptography.
[2] Marco Roveri,et al. The nuXmv Symbolic Model Checker , 2014, CAV.
[3] Massimo Bartoletti,et al. A Survey of Attacks on Ethereum Smart Contracts (SoK) , 2017, POST.
[4] Massimo Bartoletti,et al. Financial Cryptography and Data Security , 2017, Lecture Notes in Computer Science.
[5] Nikhil Swamy,et al. Formal Verification of Smart Contracts: Short Paper , 2016, PLAS@CCS.
[6] Prateek Saxena,et al. Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..
[7] Miklós Maróti,et al. Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure , 2014, MPM@MoDELS.
[8] Michael Devetsikiotis,et al. Blockchains and Smart Contracts for the Internet of Things , 2016, IEEE Access.
[9] Daniel Davis Wood,et al. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .
[10] Joseph Sifakis,et al. D-Finder: A Tool for Compositional Deadlock Detection and Verification , 2009, CAV.
[11] K. Bhargavan,et al. : Formal Verification of Smart Contracts , 2016 .
[12] Marko Vukolić,et al. Rethinking Permissioned Blockchains , 2017 .
[13] Sarah Underwood,et al. Blockchain beyond bitcoin , 2016, Commun. ACM.