1. [NDSS'18]Chainspace_A Sharded Smart Contracts Platform

1. [NDSS'18]ZEUS_Analyzing Safety of Smart Contracts
2. [ACSAC'18 ]Osiris Hunting for Integer Bugs in Ethereum Smart Contracts
3. [ICSE'18]Towards Saving Money in Using Smart Contracts
4. [ISPEC'17-bestpaper]An Adaptive Gas Cost Mechanism for Ethereum to Defend Against Under-Priced DoS Attacks
5. [OOPSLA'18]MadMax-surviving out-of-gas conditions in Ethereum smart contracts
6. [ACSAC'18]Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
7. [Arxive'18]Towards Safer Smart Contracts：A Sequence Learning Approach to Detecting Vulnerabilities
8. [ASE'18]ContractFuzzer： fuzzing smart contracts for vulnerability detection
9. [ICSE'18]ReGuard：Finding Reentrancy Bugs in smart contracts
10. [IMC'18]Analyzing Ethereum’s Contract Topology
11. [SECURITY'18]teEther-Gnawing at Ethereum to Automatically Exploit Smart Contracts
12. [SECURITY'18]Enter the Hydra-Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts
13. ***[SECURITY'18]Arbitrum: Scalable Ethereum's Opaque Smart Contracts
14. [CCS'18]Securify： Practical Security Analysis of Smart Contracts
15. [CCS'18]BitML： a calculus for Bitcoin smart contracts
16. *[archive'18]Smart Contracts for Bribing Miners
17. [arXiv'18]Ekiden-A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution
18. [archive'18]Blockchain and Trusted Computing Problems, Pitfalls, and a Solution for Hyperledger Fabric
19. [PODC'17]FruitChains: A Fair Blockchain
20. [SP'16]Hawk-The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

    主要是利用UC框架闡述論證了Hawk協議模型，其中也使用到了ZK證 明。Hawk主要目的是通過混淆交易內容隱藏交易傳送者提高交易隱私。

1. [CCS'16]Making Smart Contracts Smarter
2. [CCS'16]The ring of gyges_Investigating the Future of Criminal smart contracts

說明了三種CSC在區塊鏈上的可行性以及Blockchain對實現CSC的促進，說明了一些可能的防範措施（但很雞肋），文章主要內容是詳細介紹了三種CSC在區塊鏈上的實現，主要目的是引起大家對CSC的關注，研究出防範這一類合約的方法，同時也保證區塊鏈對其他比較好的應用的促進。

1. A survey of attacks on Ethereum smart contracts
2. [CCS'15]Demystifying incentives in the concesnsus computer
3. Step by Step Towards Creating a Safe Smart Contract： Lessons and Insights from a Cryptocurrency Lab