1. Blockchain-based Smart Contracts: A Systematic Mapping Study
1.1. What is Blockchain Technology
1.2. Background
1.2.1. Smart Contracts Overview
1.2.2. Smart Contracts Platform
1.3. Study Results
1.3.1. Searching and Screening Results
1.3.2. Classification Result
1.3.2.1. Security
1.3.2.2. Privacy
1.3.2.3. Software Engineering
1.3.2.4. Applications
1.3.2.4.1. Internet of Thing
1.3.2.4.2. Cloud Computing
1.3.2.4.3. Financial
1.3.2.4.4. Healthcare
1.3.2.4.5. Access Control & Authentication
2. A Next Generation Smart Contract & Decentralized Application Platform
2.1. History
2.1.1. Bitcoin As A State Transition System
2.1.2. Mining
2.1.3. Merkle Trees
2.1.4. Alternative Blockchain Applications
2.1.5. Scripting
2.2. Ethereum
2.2.1. Ethereum Accounts
2.2.2. Messages and Transactions
2.2.3. Ethereum State Transition Function
2.2.4. Code Execution
2.2.5. Blockchain and Mining
2.3. Applications
2.3.1. Token Systems
2.3.2. Financial derivatives
2.3.3. Identity and Reputation Systems
2.3.4. Decentralized File Storage
2.3.5. Decentralized Autonomous Organizations
2.3.6. Further Applications
2.4. Miscellanea And Concerns
2.4.1. Modified GHOST Implementation
2.4.2. Fees
2.4.3. Computation And Turing-Completeness
2.4.4. Currency And Issuance
2.4.5. Mining Centralization
2.4.6. Scalability
2.5. Decentralized Applications
3. Blockchain based Smart Contracts
3.1. Background
3.1.1. What is Blockchain technology
3.1.2. What is Smart Contracts
3.2. Platforms
3.2.1. Etheruem
3.2.2. NXT
3.3. Smart Comtracts Application
3.3.1. Internet of things and smart property
3.3.2. E-commerce
3.3.3. Music rights management
3.4. Study Results
3.4.1. Searching and Screening Results
3.4.2. Classification Results
3.4.2.1. Codifying issues
3.4.2.2. Security issues
3.4.2.3. Privacy issues
3.4.2.4. Performance issues
4. A Survey on Security Verification of Blockchain Smart Contracts
4.1. Bsckground
4.1.1. Blockchain Technology
4.1.2. Smart Contracts
4.1.3. A Synoptic Overview
4.2. Security assurance of Smart Contracts
4.2.1. ENVIRONMENT SECURITY
4.2.1.1. BLOCKCHAIN SECURITY
4.2.1.2. SECURE DATA SOURCE
4.2.2. VULNERABILITY SCANNING
4.2.2.1. THE SOLUTION FOR A SPECIFIC VULNERABILITY
4.2.2.2. THE SOLUTION FOR COMMON VULNERABILITIES
4.2.3. PERFORMANCE IMPACTS
4.3. CORRECTNESS VERIFICATION OF SMART CONTRACTS
4.3.1. PROGRAMMING CORRECTNESS
4.3.1.1. SETTING STANDARDS
4.3.1.2. DEVELOPING NEW CONTRACT LANGUAGE
4.3.1.3. SEMANTIC ANALYSIS
4.3.1.4. SOFTWARE ENGINEERING TOOLS
4.3.2. FORMAL VERIFICATION
4.3.2.1. PROGRAM-BASED FORMAL VERIFICATION
4.3.2.2. BEHAVIOR-BASED FORMAL VERIFICATION