Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Making Smart Contracts Smarter
Proofs-of-delay and randomness beacons in Ethereum
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection
Ethereum: State of Knowledge and Research Perspectives
Replacing Paper Contracts With Ethereum Smart Contracts
smarter implementation of blockchain for smart contracts .
Blockchain-based Smart Contracts: A Systematic Mapping Study
An Overview of Smart Contract: Architecture, Applications, and Future Trends
Blockchain Disruption and Smart Contracts
EthIKS: Using Ethereum to Audit a CONIKS Key Transparency Log
BitML: A Calculus for Bitcoin Smart Contracts
Exploiting the laws of order in smart contracts
DappGuard : Active Monitoring and Defense for Solidity Smart Contracts
Setting Standards for Altering and Undoing Smart Contracts
Turning Trust Around: Smart Contract-Assisted Public Key Infrastructure
ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
Scripting smart contracts for distributed ledger technology
SmartCast: An Incentive Compatible Consensus Protocol Using Smart Contracts
sCompile: Critical Path Identification and Analysis for Smart Contracts
Fault Detection and Isolation in Manufacturing Systems with an Identified Discrete Event Model
The Ring of Gyges: Investigating the Future of Criminal Smart Contracts
Decentralized User-Centric Access Control using PubSub over Blockchain
CUSPARC IP processor: Design, characterization and applications
A natural language processing approach to automatic plagiarism detection