Proofs of Writing for Robust Storage.
IEEE Trans. Parallel Distributed Syst., 2019
Hybris: Robust Hybrid Cloud Storage.
ACM Trans. Storage, 2017
Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives.
CoRR, 2015
PrivLoc: Preventing Location Tracking in Geofencing Services.
Proceedings of the Trust and Trustworthy Computing - 7th International Conference, 2014
Separating Data and Control: Asynchronous BFT Storage with 2t + 1 Data Replicas.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014
Erasure-Coded Byzantine Storage with Separate Metadata.
Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014
BFT Storage with 2t+1 Data Replicas
CoRR, 2013
PoWerStore: proofs of writing for efficient and robust storage.
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013
Proofs of Writing for Efficient and Robust Storage
CoRR, 2012
Fork-consistent constructions from registers.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011
The complexity of robust atomic storage.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011
Fork-Consistent Constructions from Registers.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011
Time-efficient asynchronous service replication.
PhD thesis, 2010
Eventually linearizable shared objects.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010
HP: Hybrid Paxos for WANs.
Proceedings of the Eighth European Dependable Computing Conference, 2010
Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010
Efficient Robust Storage Using Secret Tokens.
Proceedings of the Stabilization, 2009
Abortable Fork-Linearizable Storage.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009
On the Time-Complexity of Robust and Amnesic Storage.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008
Low-latency access to robust amnesic storage.
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008
On the Latency Efficiency of Message-Parsimonious Asynchronous Atomic Broadcast.
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007
One-step Consensus with Zero-Degradation.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006