Herlihy, Maurice
- Atomic Cross-Chain Swaps
2018/01/29 by Maurice Herlihy, Herlihy, Maurice · 14 citations
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
- Adding Concurrency to Smart Contracts
2017/02/15 by Dickerson, Thomas, Gazzillo, Paul, Herlihy, Maurice +1 · 7 citations
#Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
- An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts
2019/01/05 by Saraph, Vikram, Herlihy, Maurice · 2 citations
#Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
- Hedging Against Sore Loser Attacks in Cross-Chain Transactions
2021/05/13 by Yingjie Xue, Xue, Yingjie, Maurice Herlihy +1 · 2 citations
Computer Science · Business, Management and Accounting · #Blockchain Technology Applications and Security #Distributed systems and fault tolerance #Advanced Queuing Theory Analysis
- Clairvoyant State Machine Replication
2019/05/28 by Bazzi, Rida, Herlihy, Maurice · 1 citation
#Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
- Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
2022/04/20 by Ritam Ganguly, Ganguly, Ritam, Yingjie Xuey +11 · 1 citation
Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)
- Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps
2022/11/01 by Yingjie Xue, Di Jin, Xue, Yingjie +3 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)