Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains
A Semantic Framework for the Security Analysis of Ethereum smart contracts
Life Cycle of Smart Contracts in Blockchain Ecosystems
Quantitative Analysis of Smart Contracts
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Scalable Blockchain Based Smart Contract Execution
Formal Process Virtual Machine for Smart Contracts Verification
Blockchain-based Smart Contracts: A Systematic Mapping Study
An Efficient Framework for Concurrent Execution of Smart Contracts.
Making Smart Contracts Smarter
From Institutions to Code: Towards Automated Generation of Smart Contracts
Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution
Beyond bitcoin: an early overview on smart contracts
A scalable verification solution for blockchains
A Perspective on Blockchain Smart Contracts: Reducing Uncertainty and Complexity in Value Exchange
Blockchain Disruption and Smart Contracts
The Ring of Gyges: Investigating the Future of Criminal Smart Contracts
A Survey of Blockchain Security Issues and Challenges
Raziel: Private and Verifiable Smart Contracts on Blockchains
Risks and opportunities for systems using blockchain and smart contracts
Safer smart contracts through type-driven development
The antidepressant fluoxetine restores plasticity in the adult visual cortex.
3D Steerable CNNs: Learning Rotationally Equivariant Features in Volumetric Data
Segmentation Accuracy for Offline Arabic Handwritten Recognition Based on Bounding Box Algorithm
Machine learning based mobile malware detection using highly imbalanced network traffic
Smooth Loss Functions for Deep Top-k Classification