3 citations · 8 across the 5 of their papers we have counts for
5 papers
Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps
Yingjie Xue, Di Jin, Maurice Herlihy
Cross-chain swaps enable exchange of different assets that reside on different blockchains. Several protocols have been proposed for atomic cross-chain swaps. However, those protoc…
Cross-Chain State Machine Replication
Yingjie Xue, Maurice Herlihy
This paper considers the classical state machine replication (SMR) problem in a distributed system model inspired by cross-chain exchanges. We propose a novel SMR protocol adapted…
Transferable Cross-Chain Options
Daniel Engel, Yingjie Xue
An option is a financial agreement between two parties to trade two assets. One party is given the right, but not the obligation, to complete the swap before a specified terminatio…
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere +4
Transactions involving multiple blockchains are implemented by cross-chain protocols. These protocols are based on smart contracts, programs that run on blockchains, executed by a…
Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance
Daniel Engel, Maurice Herlihy, Yingjie Xue
Many aspects of blockchain-based decentralized finance can be understood as an extension of classical distributed computing. In this paper, we trace the evolution of two interrelat…