Foundations of dynamic bft

S Duan, H Zhang - 2022 IEEE Symposium on Security and …, 2022 - ieeexplore.ieee.org
This paper studies dynamic BFT, where replicas can join and leave the system dynamically,
a primitive that is nowadays increasingly needed. We provide a formal treatment for dynamic …

Vis-a-vis: Privacy-preserving online social networking via virtual individual servers

A Shakimov, H Lim, R Cáceres, LP Cox… - 2011 Third …, 2011 - ieeexplore.ieee.org
Online social networks (OSNs) are immensely popular, but their centralized control of user
data raises important privacy concerns. This paper presents Vis-à-Vis, a decentralized …

Customizable and Extensible Deployment for {Mobile/Cloud} Applications

I Zhang, A Szekeres, D Van Aken, I Ackerman… - … USENIX Symposium on …, 2014 - usenix.org
Modern applications face new challenges in managing today's highly distributed and
heterogeneous environment. For example, they must stitch together code that crosses …

[PDF][PDF] Transactional consistency and automatic management in an application data cache

DRK Ports, I Zhang, S Madden, B Liskov - 9th USENIX Symposium on …, 2010 - usenix.org
Distributed in-memory application data caches like memcached are a popular solution for
scaling database-driven web sites. These systems are easy to add to existing deployments …

Efficient Placement of Decomposable Aggregation Functions for Stream Processing over Large Geo-Distributed Topologies

X Chatziliadis, ET Zacharatou, A Eracar… - Proceedings of the …, 2024 - dl.acm.org
A recent trend in stream processing is offloading the computation of decomposable
aggregation functions (DAF) from cloud nodes to geo-distributed fog/edge devices to …

MPSS: mobile proactive secret sharing

D Schultz, B Liskov, M Liskov - ACM Transactions on Information and …, 2010 - dl.acm.org
This article describes MPSS, a new way to do proactive secret sharing. MPSS provides
mobility: The group of nodes holding the shares of the secret can change at each resharing …

Phoenix: A weight-based network coordinate system using matrix factorization

Y Chen, X Wang, C Shi, EK Lua, X Fu… - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
Network coordinate (NC) systems provide a lightweight and scalable way for predicting the
distances, ie, round-trip latencies among Internet hosts. Most existing NC systems embed …

Commensal cuckoo: Secure group partitioning for large-scale services

S Sen, MJ Freedman - ACM SIGOPS Operating Systems Review, 2012 - dl.acm.org
We present commensal cuckoo,* a secure group partitioning scheme for large-scale
systems that maintains the correctness of many small groups, despite a Byzantine adversary …

Thialfi: a client notification service for internet-scale applications

A Adya, G Cooper, D Myers, M Piatek - Proceedings of the Twenty-Third …, 2011 - dl.acm.org
Ensuring the freshness of client data is a fundamental problem for applications that rely on
cloud infrastructure to store data and mediate sharing. Thialfi is a notification service …

Automatic reconfiguration for large-scale reliable storage systems

R Rodrigues, B Liskov, K Chen… - IEEE Transactions on …, 2010 - ieeexplore.ieee.org
Byzantine-fault-tolerant replication enhances the availability and reliability of Internet
services that store critical state and preserve it despite attacks or software errors. However …