Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Scalable Blockchain Based Smart Contract Execution
Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications
AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things
Blockchain and smart contract for digital certificate
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts
Robot-Human Agreements and Financial Transactions Enabled by a Blockchain and Smart Contracts
A Scale-Out Blockchain for Value Transfer with Spontaneous Sharding
On Scalability and Performance of Permissioned Blockchain Systems
Adding concurrency to smart contracts
From Institutions to Code: Towards Automated Generation of Smart Contracts
Formal Process Virtual Machine for Smart Contracts Verification
SCP: A Computationally-Scalable Byzantine Consensus Protocol For Blockchains.
The Ring of Gyges: Investigating the Future of Criminal Smart Contracts
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Smart contracts vulnerabilities: a call for blockchain software engineering?
Securify: Practical Security Analysis of Smart Contracts
On Trees, Chains and Fast Transactions in the Blockchain
Runtime Verification of Ethereum Smart Contracts
Blindly Signed Contracts: Anonymous On-Blockchain and Off-Blockchain Bitcoin Transactions
Smart-Contract Value-Transfer Protocols on a Distributed Mobile Application Platform
Boosting for transfer learning with multiple sources
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
The Transition to Minimal Consciousness through the Evolution of Associative Learning
Towards Machine Ethics : Implementing Two Action-Based Ethical Theories
Visual Relationship Prediction via Label Clustering and Incorporation of Depth Information