Published in , 1900
Publications
Accountable Liveness
Published in , 2025
Accountable Liveness.
A declarative approach to specifying distributed algorithms using three-valued modal logic
Published in , 2025
A declarative approach to specifying distributed algorithms using three-valued modal logic.
3-Slot-Finality Protocol for Ethereum
Published in , 2024
3-Slot-Finality Protocol for Ethereum.
Breaking the Chains of Rationality: Understanding the Limitations to and Obtaining Order Policy Enforcement
Published in CCS, 2024
Breaking the Chains of Rationality: Understanding the Limitations to and Obtaining Order Policy Enforcement.
Recent Latest Message Driven GHOST: Balancing Dynamic Availability With Asynchrony Resilience
Published in CSF, 2024
Recent Latest Message Driven GHOST: Balancing Dynamic Availability With Asynchrony Resilience.
Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols
Published in PODC, 2024
Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols.
A Fast Confirmation Rule for the Ethereum Consensus Protocol
Published in , 2024
A Fast Confirmation Rule for the Ethereum Consensus Protocol.
Asymmetric Distributed Trust
Published in Distributed Computing, 2024
Asymmetric Distributed Trust. Blog Post
PhD Thesis - Asymmetric Trust in Distributed Systems
Published in Bern Open Repository and Information System, 2023
PhD Thesis
A Simple Single Slot Finality Protocol For Ethereum
Published in CBT (ESORICS), 2023
A Simple Single Slot Finality Protocol For Ethereum.
Modeling Resources in Permissionless Longest-chain Total-order Broadcast
Published in OPODIS, 2022
Modeling Resources in Permissionless Longest-chain Total-order Broadcast.
Quorum Systems in Permissionless Networks
Published in OPODIS, 2022
Quorum Systems in Permissionless Networks. Blog Post
Quick Order Fairness
Published in FC, 2022
Quick Order Fairness. Blog Post
Brief Announcement: Revisiting Signature-Free Asynchronous Byzantine Consensus
Published in DISC, 2021
Brief Announcement: Revisiting Signature-Free Asynchronous Byzantine Consensus. Blog Post
How to Trust Strangers: Composition of Byzantine Quorum Systems
Published in SRDS, DISC (Brief Announcement), 2021
How to Trust Strangers: Composition of Byzantine Quorum Systems. Blog Post
Asymmetric Asynchronous Byzantine Consensus
Published in CBT, 2021
Asymmetric Asynchronous Byzantine Consensus. Blog Post
On the Synchronization Power of Token Smart Contracts
Published in ICDCS, 2021
Consensus number of ERC20-like smart contracts. Blog Post
An Algebraic Model For Quorum Systems
Published in arXiv, 2020
Algebraic representation of the theory underlying quorum systems