Blockchain interoperability is emerging as one of the crucial features of blockchain
technology, but the knowledge necessary for achieving it is fragmented. This fact makes it …

Since the inception of Bitcoin, a plethora of distributed ledgers differing in design and
purpose has been created. While by design, blockchains provide no means to securely …

We introduce FairSwap--an efficient protocol for fair exchange of digital goods using smart
contracts. A fair exchange protocol allows a sender S to sell a digital commodity x for a fixed …

We study a model of fairness in secure computation in which an adversarial party that aborts
on receiving output is forced to pay a mutually predefined monetary penalty. We then show …

A new public key cryptosystem is proposed and analyzed. The scheme is quite practical,
and is provably secure against adaptive chosen ciphertext attack under standard …

A group signature scheme allows a group member to sign messages anonymously on
behalf of the group. However, in the case of a dispute, the identity of a signature's originator …

Zero Knowledge Contingent Payment (ZKCP) protocols allow fair exchange of sold goods
and payments over the Bitcoin network. In this paper we point out two main shortcomings of …

Abstract Electronic Commodity Trading has a pivotal role in our economic activities. In the
literature, there is a classic problem called “Fair Exchange” which is fundamental to …

This paper addresses the problem of designing practical protocols for proving properties
about encrypted data. To this end, it presents a variant of the new public key encryption of …

We study a model of incentivizing correct computations in a variety of cryptographic tasks.
For each of these tasks we propose a formal model and design protocols satisfying our …