5 papers
Heterogeneous Paxos: Technical Report
Isaac Sheff, Xinwen Wang, Robbert van Renesse +1
In distributed systems, a group of achieve when, by observing the output of some , they all arrive at the same value. C…
Asynchronous Consensus Without Rounds
Robbert van Renesse
Fault tolerant consensus protocols usually involve ordered rounds of voting between a collection of processes. In this paper, we derive a general specification of fault tolerant as…
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report
Isaac Sheff, Xinwen Wang, Haobin Ni +2
We present Charlotte, a framework for composable, authenticated distributed data structures. Charlotte data is stored in blocks that reference each other by hash. Together, all Cha…
A Web of Blocks
Isaac Sheff, Xinwen Wang, Andrew C. Myers +1
Blockchains offer a useful abstraction: a trustworthy, decentralized log of totally ordered transactions. Traditional blockchains have problems with scalability and efficiency, pre…
Secure Abstraction with Code Capabilities
Robbert van Renesse, Håvard Johansen, Nihar Naigaonkar +1
We propose embedding executable code fragments in cryptographically protected capabilities to enable flexible discretionary access control in cloud-like computing infrastructures.…