Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: ShadowEth: Private Smart Contract on Public Blockchain
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
Trustless Machine Learning Contracts; Evaluating and Exchanging Machine Learning Models on the Ethereum Blockchain
ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
Exploiting the laws of order in smart contracts
Creation of Smart-Contracting Collaborations for Decentralized Autonomous Organizations
: Formal Verification of Smart Contracts
A Language-Independent Approach to Smart Contract Verification
Provisions: Privacy-preserving Proofs of Solvency for Bitcoin Exchanges
An Overview of Smart Contract: Architecture, Applications, and Future Trends
{BITE}: Bitcoin Lightweight Client Privacy using Trusted Execution
Replacing Paper Contracts With Ethereum Smart Contracts
An Online Identity and Smart Contract Management System
Chainspace: A Sharded Smart Contracts Platform
SmartDEMAP: A Smart Contract Deployment and Management Platform
Smart contracts vulnerabilities: a call for blockchain software engineering?
Safer smart contracts through type-driven development
Robot-Human Agreements and Financial Transactions Enabled by a Blockchain and Smart Contracts
AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things
Zexe: Enabling Decentralized Private Computation.
Formal Verification of Smart Contracts: Short Paper
On upper bounds for assortment optimization under the mixture of multinomial logit models
Robust Range Estimation with a Monocular Camera for Vision-Based Forward Collision Warning System
Biped walking stabilization based on linear inverted pendulum tracking
Treg cells mediate recovery from EAE by controlling effector T cell proliferation and motility in the CNS
architecture of the hyperledger blockchain fabric ∗ .