暂无分享,去创建一个
Aron Laszka | Mohammad Amin Alipour | Afiya Ayman | Amna Aziz | Aron Laszka | Afiya Ayman | Amna Aziz
[1] Elaine Shi,et al. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab , 2016, Financial Cryptography Workshops.
[2] Prateek Saxena,et al. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale , 2018, ACSAC.
[3] Aron Laszka,et al. Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach , 2017, Financial Cryptography.
[4] Daniel Davis Wood,et al. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .
[5] Gabor Karsai,et al. TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids , 2018, 2018 IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS).
[6] Vincent Gramoli,et al. Vandal: A Scalable Security Analysis Framework for Smart Contracts , 2018, ArXiv.
[7] Aron Laszka,et al. Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts , 2018, POST.
[8] Mohsen Guizani,et al. When Energy Trading meets Blockchain in Electrical Power System: The State of the Art , 2019, Applied Sciences.
[9] Ali Dehghantanha,et al. Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains , 2018, CASCON.
[10] Gernot Salzer,et al. SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course , 2019, Financial Cryptography Workshops.
[11] Sarah Underwood,et al. Blockchain beyond bitcoin , 2016, Commun. ACM.
[12] Michael I. Jordan,et al. Latent Dirichlet Allocation , 2001, J. Mach. Learn. Res..
[13] Abhishek Dubey,et al. VeriSolid: Correct-by-Design Smart Contracts for Ethereum , 2019, Financial Cryptography.
[14] Albert Rubio,et al. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode , 2018, ATVA.
[15] Michael Devetsikiotis,et al. Blockchains and Smart Contracts for the Internet of Things , 2016, IEEE Access.
[16] Russell O'Connor,et al. Simplicity: A New Language for Blockchains , 2017, PLAS@CCS.
[17] Massimo Bartoletti,et al. A Survey of Attacks on Ethereum Smart Contracts (SoK) , 2017, POST.
[18] Petar Tsankov,et al. Securify: Practical Security Analysis of Smart Contracts , 2018, CCS.
[19] Gernot Salzer,et al. A Survey of Tools for Analyzing Ethereum Smart Contracts , 2019, 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON).
[20] Ahmed E. Hassan,et al. What are developers talking about? An analysis of topics and trends in Stack Overflow , 2014, Empirical Software Engineering.
[21] Ali Dehghantanha,et al. Smart Contract Programming Languages on Blockchains: An Empirical Evaluation of Usability and Security , 2018, ICBC.
[22] Prateek Saxena,et al. Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..
[23] Gordon J. Pace,et al. Runtime Verification of Ethereum Smart Contracts , 2018, 2018 14th European Dependable Computing Conference (EDCC).
[24] Massimo Bartoletti,et al. Financial Cryptography and Data Security , 2017, Lecture Notes in Computer Science.
[25] Uwe Zdun,et al. Design Patterns for Smart Contracts in the Ethereum Ecosystem , 2018, 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).
[26] Tao Zhang,et al. Blockchain in the Eyes of Developers , 2018, ArXiv.