Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Runtime Verification of Ethereum Smart Contracts
Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain
Ethereum: State of Knowledge and Research Perspectives
CATERPILLAR: A Business Process Execution Engine on the Ethereum Blockchain
Findel: Secure Derivative Contracts for Ethereum
Trusted Execution Environments: A Look under the Hood
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
Replacing Paper Contracts With Ethereum Smart Contracts
Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
CASPER: Compiler-Assisted Securing of Programs at Runtime
Under-optimized smart contracts devour your money
Automated Labeling of Unknown Contracts in Ethereum
Trust in Smart Contracts is a Process, As Well
Scripting smart contracts for distributed ledger technology
ESP: path-sensitive program verification in polynomial time
Formal Verification of Financial Algorithms
Smart contracts vulnerabilities: a call for blockchain software engineering?
AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things
Arbitrum: Scalable, private smart contracts
BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments.
SPECTRE : Serialization of Proof-of-work Events : Confirming Transactions via Recursive Elections
DeepMarks: A Digital Fingerprinting Framework for Deep Neural Networks
When nurses double as interpreters: a study of Spanish-speaking patients in a US primary care setting.
Security-enabled NFC Tag with Flexible Architecture Supporting Asymmetric Cryptography
QoS-aware middleware for Web services composition
Antibacterial, antifungal, and antiviral effects of three essential oil blends