Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Fair Protocols for Verifiable Computations Using Bitcoin and Ethereum
fair two - party computations via the bitcoin deposits .
PoW-based distributed cryptography with no trusted setup
Theoretical Bitcoin Attacks with less than Half of the Computational Power (draft)
A Formal Model of Bitcoin Transactions
A Full Proof of the BGW Protocol for Perfectly Secure Multiparty Computation
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach
A Secure Sharding Protocol For Open Blockchains
Speed-Security Tradeoffs in Blockchain Protocols
Beyond bitcoin: an early overview on smart contracts
Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol
Secure Wallet-Assisted Offline Bitcoin Payments with Double-Spender Revocation
LinBFT: Linear-Communication Byzantine Fault Tolerance for Public Blockchains
Preventing the 51%-Attack: a Stochastic Analysis of Two Phase Proof of Work in Bitcoin
Solida: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus
Catena: Efficient Non-equivocation via Bitcoin
Random oracles are practical: a paradigm for designing efficient protocols
Zero-Collateral Lotteries in Bitcoin and Ethereum
Authcoin: Validation and Authentication in Decentralized Networks
a provably secure proof - of - stake blockchain protocol .
A Language-Independent Approach to Smart Contract Verification
Practical Control Flow Integrity and Randomization for Binary Executables
Universally composable security: a new paradigm for cryptographic protocols
Words and idioms.
t he unreasonable effectiveness of a two - layer neural network for recommendations .
Deep Component Analysis via Alternating Direction Neural Networks