Themis: Towards Decentralized Escrow of Cryptocurrencies without Trusted Third Parties | IEEE Conference Publication | IEEE Xplore