暂无分享,去创建一个
[1] Stefan Dziembowski,et al. Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without Scripts , 2016, ESORICS.
[2] Elaine Shi,et al. The Ring of Gyges: Investigating the Future of Criminal Smart Contracts , 2016, CCS.
[3] Nikhil Swamy,et al. Formal Verification of Smart Contracts: Short Paper , 2016, PLAS@CCS.
[4] Josep Lluís de la Rosa i Esteva,et al. Eurakos Next: A Cryptocurrency Based on Smart Contracts , 2016, CCIA.
[5] Soohyung Kim,et al. Managing IoT devices using blockchain platform , 2017, 2017 19th International Conference on Advanced Communication Technology (ICACT).
[6] Hiroki Watanabe,et al. Blockchain contract: A complete consensus using blockchain , 2015, 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE).
[7] Emilio Tuosto,et al. Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods , 2015, Programming Languages with Applications to Biology and Security.
[8] Massimo Bartoletti,et al. A Survey of Attacks on Ethereum Smart Contracts (SoK) , 2017, POST.
[9] Sooyong Park,et al. Where Is Current Research on Blockchain Technology?—A Systematic Review , 2016, PloS one.
[10] Daniel Davis Wood,et al. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .
[11] Ari Juels,et al. Setting Standards for Altering and Undoing Smart Contracts , 2016, RuleML.
[12] Marko Vukolić,et al. Rethinking Permissioned Blockchains , 2017 .
[13] Kai Petersen,et al. Systematic Mapping Studies in Software Engineering , 2008, EASE.
[14] Fan Zhang,et al. Town Crier: An Authenticated Data Feed for Smart Contracts , 2016, CCS.
[15] Xiapu Luo,et al. Under-optimized smart contracts devour your money , 2017, 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER).
[16] Mustafa Al-Bassam. SCPKI: A Smart Contract-based PKI and Identity System , 2017 .
[17] Arne Meeuw,et al. A Decentralised Sharing App running a Smart Contract on the Ethereum Blockchain , 2016, IOT.
[18] Elaine Shi,et al. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab , 2016, Financial Cryptography Workshops.
[19] Vitalik Buterin. A NEXT GENERATION SMART CONTRACT & DECENTRALIZED APPLICATION PLATFORM , 2015 .
[20] Vincent Gramoli,et al. The Blockchain Anomaly , 2016, 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA).
[21] Michael Devetsikiotis,et al. Blockchains and Smart Contracts for the Internet of Things , 2016, IEEE Access.
[22] Nick Szabo,et al. Formalizing and Securing Relationships on Public Networks , 1997, First Monday.
[23] Hiroki Watanabe,et al. Blockchain contract: Securing a blockchain applied to smart contracts , 2016, 2016 IEEE International Conference on Consumer Electronics (ICCE).
[24] Elaine Shi,et al. Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts , 2016, 2016 IEEE Symposium on Security and Privacy (SP).
[25] Prateek Saxena,et al. Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..
[26] Vincenzo Morabito. Smart Contracts and Licensing , 2017 .
[27] Cesare Pautasso,et al. The Blockchain as a Software Connector , 2016, 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA).
[28] G. Hardeman. Replacing Paper Contracts With Ethereum Smart Contracts , 2016 .
[29] Guido Governatori,et al. Evaluation of Logic-Based Smart Contracts for Blockchain Systems , 2016, RuleML.
[30] Christopher K. Frantz,et al. From Institutions to Code: Towards Automated Generation of Smart Contracts , 2016, 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W).
[31] John Domingue,et al. Linked Data Indexing of Distributed Ledgers , 2017, WWW.