Smart contract security Papers---智能合约安全论文...更新中

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

主要是利用UC框架阐述论证了Hawk协议模型，其中也使用到了ZK证明。Hawk主要目的是通过混淆交易内容隐藏交易发送者提高交易隐私。

说明了三种CSC在区块链上的可行性以及Blockchain对实现CSC的促进，说明了一些可能的防范措施（但很鸡肋），文章主要内容是详细介绍了三种CSC在区块链上的实现，主要目的是引起大家对CSC的关注，研究出防范这一类合约的方法，同时也保证区块链对其他比较好的应用的促进。

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