Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: The Ring of Gyges : Using Smart Contracts for Crime
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
Smart contracts vulnerabilities: a call for blockchain software engineering?
Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
An Overview of Smart Contract: Architecture, Applications, and Future Trends
Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications
Smart Contracts Using Blockly: Representing a Purchase Agreement Using a Graphical Programming Language
Setting Standards for Altering and Undoing Smart Contracts
Creation of Smart-Contracting Collaborations for Decentralized Autonomous Organizations
Formal Verification of Smart Contracts: Short Paper
A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts
BitML: A Calculus for Bitcoin Smart Contracts
Blockchains and Smart Contracts for the Internet of Things
A Language-Independent Approach to Smart Contract Verification
a survey of attacks on ethereum smart contracts .
On Cyber Risk Management of Blockchain Networks: A Game Theoretic Approach
Trust in Smart Contracts is a Process, As Well
CROWDSAFE: crowd sourcing of crime incidents and safe routing on mobile devices
Blockchain for Digital Crime Prevention: The Case of Health Informatics
Smart-Contract Value-Transfer Protocols on a Distributed Mobile Application Platform
Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules
a cost - based security analysis of symmetric and asymmetric key lengths rsa labs bulletin .
A spherical multi-camera system with real-time omnidirectional video acquisition capability
Spherical wave near-field imaging and radar cross-section measurement
Academic search engines : a quantitative outlook
AUTOMATIC CORRESPONDENCE FOR 3 D MODELING : AN EXTENSIVE REVIEW