Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: DappGuard : Active Monitoring and Defense for Solidity Smart Contracts
An empirical analysis of smart contracts: platforms, applications, and design patterns
ChainGuard — A firewall for blockchain applications using SDN with OpenFlow
Solida: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus
Untrusted Business Process Monitoring and Execution Using Blockchain
Arbitrum: Scalable, private smart contracts
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
An Overview of Smart Contract and Use Cases in Blockchain Technology
Solidity Parsing Using SmaCC: Challenges and Irregularities
BitML: A Calculus for Bitcoin Smart Contracts
An Online Identity and Smart Contract Management System
Smart Contract-Based Access Control for the Internet of Things
Trustless Machine Learning Contracts; Evaluating and Exchanging Machine Learning Models on the Ethereum Blockchain
PrivacyGuard: Enforcing Private Data Usage with Blockchain and Attested Execution
BlendCAC: A Smart Contract Enabled Decentralized Capability-Based Access Control Mechanism for the IoT
Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules
BLOCKBENCH: A Framework for Analyzing Private Blockchains
Bitcoin Concepts, Threats, and Machine-Learning Security Solutions
Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
Scilla: a Smart Contract Intermediate-Level LAnguage
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
Determination of soil nutrients and pH level using image processing and artificial neural network
An intelligent notification system using context from real-time personal activity monitoring
Throughput-Optimized OpenCL-based FPGA Accelerator for Large-Scale Convolutional Neural Networks
Information technology governance — COBIT model
How to Use Bitcoin to Design Fair Protocols