Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: in code we trust ? - measuring the control flow immutability of all smart contracts deployed on ethereum .
An empirical analysis of smart contracts: platforms, applications, and design patterns
An Overview of Smart Contract: Architecture, Applications, and Future Trends
Trustless Machine Learning Contracts; Evaluating and Exchanging Machine Learning Models on the Ethereum Blockchain
Book-Smart, Not Street-Smart: Blockchain-Based Smart Contracts and The Social Workings of Law
Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
Blockchain contract: A complete consensus using blockchain
Dataflow and Type-based Formulations for Reference Immutability
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
Profiling Smart Contracts Interactions Tensor Decomposition and Graph Mining
Understanding the software development practices of blockchain projects: a survey
Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language
Stitching the gadgets: on the ineffectiveness of coarse-grained control-flow integrity protection
Findel: Secure Derivative Contracts for Ethereum
Deanonymisation in Ethereum Using Existing Methods for Bitcoin
Risks and opportunities for systems using blockchain and smart contracts
Secure program execution via dynamic information flow tracking
SmartCast: An Incentive Compatible Consensus Protocol Using Smart Contracts
A scalable verification solution for blockchains
Malleability of the blockchain’s entropy
C-FLAT: Control-Flow Attestation for Embedded Systems Software
The Li-ion rechargeable battery: A perspective
Root Cause Analysis of Zero-Rate Output Sources in an MEMS Gyroscope
Application of the stochastic mixing model to hyperspectral resolution enhancement
Hashcash - Amortizable Publicly Auditable Cost-Functions
Cryptocurrency price drivers: Wavelet coherence analysis revisited