2 papers
cs.DC2025
Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
Shlomi Dolev, Amit Hendin, Maurice Herlihy +2
The ability to perform repeated Byzantine agreement lies at the heart of important applications such as blockchain price oracles or replicated state machines. Any such protocol req…
cs.DC2025
The Smart Contract Model
Yackolley Amoussou-Guenou, Maurice Herlihy, Sucharita Jayanti +2
Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract…