research
∙
11/01/2022
Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps
Cross-chain swaps enable exchange of different assets that reside on dif...
share
research
∙
06/14/2022
Cross-Chain State Machine Replication
This paper considers the classical state machine replication (SMR) probl...
research
∙
05/06/2022
Transferable Cross-Chain Options
An option is a financial agreement between two parties to trade two asse...
research
∙
04/20/2022
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
Transactions involving multiple blockchains are implemented by cross-cha...
research
∙
09/24/2021
Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance
Many aspects of blockchain-based decentralized finance can be understood...
research
∙
05/13/2021