Fair Protocols for Verifiable Computations Using Bitcoin and Ethereum | IEEE Conference Publication | IEEE Xplore