Isaac C. Sheff

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 7

Top Topics

Correctness Criterion

Read Only Transactions

Technical Report

Top Venues

ACM Trans. Comput. Syst.

Publications

Isaac C. Sheff, Xinwen Wang, Kushal Babel, Haobin Ni, Robbert van Renesse, Andrew C. Myers
Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications. ACM Trans. Comput. Syst. 41 (2023)
Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers
Heterogeneous Paxos: Technical Report. CoRR (2020)
Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers
Heterogeneous Paxos. OPODIS (2020)
Isaac C. Sheff, Xinwen Wang, Haobin Ni, Robbert van Renesse, Andrew C. Myers
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report. CoRR (2019)
Isaac C. Sheff, Xinwen Wang, Andrew C. Myers, Robbert van Renesse
A Web of Blocks. CoRR (2018)
Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse
Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency. CoRR (2016)
Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse
Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency. CCS (2016)
Isaac C. Sheff, Robbert van Renesse, Andrew C. Myers
Distributed Protocols and Heterogeneous Trust: Technical Report. CoRR (2014)