Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Formal Modeling and Verification of Smart Contracts
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Making Smart Contracts Smarter
An Efficient Framework for Concurrent Execution of Smart Contracts.
Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications
Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution
Beyond bitcoin: an early overview on smart contracts
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
A Semantic Framework for the Security Analysis of Ethereum smart contracts
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Life Cycle of Smart Contracts in Blockchain Ecosystems
Raziel: Private and Verifiable Smart Contracts on Blockchains
Securify: Practical Security Analysis of Smart Contracts
Scalable Blockchain Based Smart Contract Execution
Blockchain contract: Securing a blockchain applied to smart contracts
Modeling Bitcoin Contracts by Timed Automata
Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
Safer smart contracts through type-driven development
smarter implementation of blockchain for smart contracts .
Exploiting the laws of order in smart contracts
Blockstack: Design and Implementation of a Global Naming System with Blockchains
Case 176: Neuro-Sweet Syndrome
IT Investments, Alignment and Firm Performance: Evidence from an Emerging Economy
Hydroponic smart farming using cyber physical social system with telegram messenger
towards exploratory olap over linked open data - a case study .