Ethereum: State of Knowledge and Research Perspectives
暂无分享,去创建一个
[1] Martin Elsman,et al. Automated Execution of Financial Contracts on Blockchains , 2017 .
[2] Vitalik Buterin,et al. Casper the Friendly Finality Gadget , 2017, ArXiv.
[3] Warren He,et al. Proof of Luck: an Efficient Blockchain Consensus Protocol , 2016, SysTEX@Middleware.
[4] Lin Chen,et al. Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications , 2017, Financial Cryptography Workshops.
[5] Daniel Davis Wood,et al. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .
[6] Jason Teutsch,et al. Smart Contracts Make Bitcoin Mining Pools Vulnerable , 2017, Financial Cryptography Workshops.
[7] Robert Edström,et al. Safer smart contracts through type-driven development , 2016 .
[8] Nikhil Swamy,et al. Formal Verification of Smart Contracts: Short Paper , 2016, PLAS@CCS.
[9] Prateek Saxena,et al. A Secure Sharding Protocol For Open Blockchains , 2016, CCS.
[10] Ilya Sergey,et al. A Concurrent Perspective on Smart Contracts , 2017, Financial Cryptography Workshops.
[11] Emin Gün Sirer,et al. Service-Oriented Sharding with Aspen , 2016, ArXiv.
[12] Massimo Bartoletti,et al. An empirical analysis of smart contracts: platforms, applications, and design patterns , 2017, 1703.06322.
[13] Elaine Shi,et al. Snow White: Provably Secure Proofs of Stake , 2016, IACR Cryptol. ePrint Arch..
[14] Massimo Bartoletti,et al. A Survey of Attacks on Ethereum Smart Contracts (SoK) , 2017, POST.
[15] David Schwartz,et al. The Ripple Protocol Consensus Algorithm , 2014 .
[16] Jeremy Clark,et al. SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies , 2015, 2015 IEEE Symposium on Security and Privacy.
[17] David Mazières. The Stellar Consensus Protocol : A Federated Model for Internet-level Consensus , 2015 .
[18] Elaine Shi,et al. Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts , 2016, 2016 IEEE Symposium on Security and Privacy (SP).
[19] Prateek Saxena,et al. Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..
[20] H. Mayer. ECDSA Security in Bitcoin and Ethereum : a Research Survey , 2016 .
[21] Daniel Zappala,et al. Why Johnny Still, Still Can't Encrypt: Evaluating the Usability of a Modern PGP Client , 2015, ArXiv.
[22] Aggelos Kiayias,et al. Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol , 2017, CRYPTO.
[23] Björn Scheuermann,et al. Bitcoin and Beyond: A Technical Survey on Decentralized Digital Currencies , 2016, IEEE Communications Surveys & Tutorials.
[24] Aviv Zohar,et al. Accelerating Bitcoin's Transaction Processing. Fast Money Grows on Trees, Not Chains , 2013, IACR Cryptol. ePrint Arch..
[25] Elaine Shi,et al. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab , 2016, Financial Cryptography Workshops.
[26] Miguel Castro,et al. Practical byzantine fault tolerance and proactive recovery , 2002, TOCS.
[27] Jason Teutsch,et al. SmartPool: Practical Decentralized Pooled Mining , 2017, USENIX Security Symposium.
[28] Alex Biryukov,et al. Findel: Secure Derivative Contracts for Ethereum , 2017, Financial Cryptography Workshops.
[29] Emin Gün Sirer,et al. Majority Is Not Enough: Bitcoin Mining Is Vulnerable , 2013, Financial Cryptography.
[30] Andrea Pinna,et al. Blockchain-Oriented Software Engineering: Challenges and New Directions , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
[31] P. Cochat,et al. Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.
[32] Fan Zhang,et al. Town Crier: An Authenticated Data Feed for Smart Contracts , 2016, CCS.
[33] Xiapu Luo,et al. Under-optimized smart contracts devour your money , 2017, 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER).
[34] Radu State,et al. Automated Labeling of Unknown Contracts in Ethereum , 2017, 2017 26th International Conference on Computer Communication and Networks (ICCCN).
[35] Simon J. Thompson,et al. Scripting smart contracts for distributed ledger technology , 2016, IACR Cryptol. ePrint Arch..
[36] Jason Teutsch,et al. Demystifying Incentives in the Consensus Computer , 2015, CCS.
[37] Silvio Micali,et al. ALGORAND: The Efficient and Democratic Ledger , 2016, ArXiv.
[38] Ariel Gabizon,et al. Cryptocurrencies Without Proof of Work , 2014, Financial Cryptography Workshops.
[39] Alonzo Church,et al. A note on the Entscheidungsproblem , 1936, Journal of Symbolic Logic.