Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Under-optimized smart contracts devour your money
The Ring of Gyges: Investigating the Future of Criminal Smart Contracts
Book-Smart, Not Street-Smart: Blockchain-Based Smart Contracts and The Social Workings of Law
Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications
Risks and opportunities for systems using blockchain and smart contracts
A Semantic Framework for the Security Analysis of Ethereum smart contracts
On legal contracts, imperative and declarative smart contracts, and blockchain systems
Blockchain-based Smart Contracts: A Systematic Mapping Study
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
Runtime Verification of Ethereum Smart Contracts
An Overview of Smart Contract and Use Cases in Blockchain Technology
Trust in Smart Contracts is a Process, As Well
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection
Query optimizers: time to rethink the contract?
Lessons Learned from Implementing a Privacy-Preserving Smart Contract in Ethereum
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
sCompile: Critical Path Identification and Analysis for Smart Contracts
a survey of attacks on ethereum smart contracts .
Arbitrum: Scalable, private smart contracts
Town Crier: An Authenticated Data Feed for Smart Contracts
Blindly Signed Contracts: Anonymous On-Blockchain and Off-Blockchain Bitcoin Transactions
Smart Contract Templates: foundations, design landscape and research directions
Improvement of Strains of Two Oyster Mushroom Cultivars Using Duel Culture Technique
Sparse Label Smoothing for Semi-supervised Person Re-Identification
Continuous Authentication System Using Online Activities
Validity and reliability in quantitative studies