Smart contract security Papers

[SP’20]VeriSmart： A Highly Precise Safety Verifier for Ethereum Smart Contracts
[SP’20]VerX：Safety Verification of Smart Contracts
[VSTTE’19]solc-verify：A Modular Verifier for Solidity SC
[Arxive]SmartEmbed： A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding
[CCS’19]HyperService：Interoperability and Programmability Across Heterogeneous Blockchains
[CCS’19]Learning to Fuzz from Symbolic Execution with Application to Smart contracts
[CCS’19]TokenScope Automatically Detecting Inconsistent Behaviors of Cryptocurrency Tokens in Ethereum
[NDSS’19]Sereum：Protecting Existing Smart Contracts Against Re-Entrancy Attacks
[arxive’19-5]HARVEY： A Greybox Fuzzer for Smart Contracts
[ICDCS’19]Read-Uncommitted Transactions for SC performance
[ICPC’19]Enabling Clone Detection For Ethereum via smart contract Birthmarks
[ICPC’19]Towards Automated Testing of Blockchain-based Decentralized Application
[RAID’19]Towards a First Step to Understand the Cryptocurrency Stealing Attack on Ethereum
[IWBOSE’19]Potential Risks of Hyperledger Fabric Smart contracts
[SANER’19]Towards Generating Cost-Effective Test-Suite for Ethereum Smart contract
[SANER’19]EVM：From Offline Detection to Online Reinforcement for Ethereum Virtual Machine
[ESEM’19]A Large-Scale Empirical Study on Control Flow Identification of Smart Contracts
[ISSTA’19]Exploiting the Laws of Order in Smart Contracts
[ISSTA’19]SAFEVM：A Sfety Verifier for Ethereum Smart contracts
EVMFuzz：Differential fuzz testing of Ethereum Virtual Machine
[IEEE transaction on SMC:systems]blockchain-enabled smart contracts: Architecture,applications, and future trends
[axrive’19]Detecting Standard Violation Errors in Smart Contracts
[PDP’19]Blockchain-Enabled Smart Contracts： Architecture, Applications, and Future Trends
[security’19]The Art of The Scam： Demystifying Honeypots in Ethereum smart contracts
[raid’19]Towards a First Step to Understand the Cryptocurrency Stealing Attack on Ethereum
[Arxive’19’2]Precise Attack Synthesis for Smart Contracts
[ICSE’19]EASYFLOW：Keep Ethereum Away From Overflow [shortpaper]
[Arxive’19]Mutation Testing for Ethereum Smart Contract
[PACMPL’18]Online detection of effectively callback Free Objects with Applications to Smart Contract
[NDSS’18]Chainspace_A Sharded Smart Contracts Platform
[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
[ASE’18]ContractFuzzer： fuzzing smart contracts for vulnerability detection
[Arxive’18]Towards Safer Smart Contracts：A Sequence Learning Approach to Detecting Vulnerabilities
[ICSE’18]ReGuard：Finding Reentrancy Bugs in smart contracts [shortpaper]
[ASE’18]S-Gram：Towards Semantic-Aware security auditing for Ethereum Smart Contract [shortpaper]
[ESEC-FSE’18]EClone：Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch [shortpaper]
[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
[WETSEB’18]SmartCheck：static analysis of ethereum smart contracts
[CCS’18]BitML： a calculus for Bitcoin smart contracts
[archive’18]Smart Contracts for Bribing Miners
[Euro S&P’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
[ARXIVE’18]Vandal： A Scalable Security Analysis Framework for smart contracts
[ARXIVE’19]sCompile：Critical Path Identification and Analysis for smart contracts
[Arxive]SmartEmbed： A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding
[PODC’17]FruitChains: A Fair Blockchain
[POST’17]A survey of attacks on Ethereum smart contracts

[master thesis’17]Ethereum Smart Contracts_Security vulnerabilities and security Tools
[SP’16]Hawk-The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
[CCS’16]Making Smart Contracts Smarter
[CCS’16]The ring of gyges_Investigating the Future of Criminal smart contracts
[FC’16]Step by Step Towards Creating a Safe Smart Contract： Lessons and Insights from a Cryptocurrency Lab
[CCS’15]Demystifying incentives in the concesnsus computer