SmartDEMAP: A Smart Contract Deployment and Management Platform
暂无分享,去创建一个
[1] Sanjay Jain,et al. How to verify computation with a rational network , 2016, ArXiv.
[2] Prateek Saxena,et al. Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..
[3] Jason Teutsch,et al. A scalable verification solution for blockchains , 2019, ArXiv.
[4] Nikhil Swamy,et al. Formal Verification of Smart Contracts: Short Paper , 2016, PLAS@CCS.
[5] Norman Plant. Software in crisis , 1992 .
[6] Daniel Davis Wood,et al. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .
[7] Robert Edström,et al. Safer smart contracts through type-driven development , 2016 .
[8] Vitalik Buterin. A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM , 2015 .
[9] Ran Canetti,et al. Practical delegation of computation using multiple servers , 2011, CCS '11.