MVP-ORAM: a Wait-free Concurrent ORAM for Confidential BFT Storage
Robin Vassantlal, Hasan Heydari, Bernardo Ferreira, Alysson Bessani

TL;DR
MVP-ORAM is a novel wait-free concurrent ORAM protocol that supports Byzantine fault-tolerant storage without trusted proxies or complex concurrency controls, enabling efficient and secure data access in cloud environments.
Contribution
It introduces the first wait-free, concurrent ORAM supporting Byzantine fault tolerance without trusted proxies or inter-client communication, improving throughput and security.
Findings
Supports hundreds of 4KB accesses per second in cloud environments
Enables clients to perform concurrent requests and merge updates
Proves security under practical skewed access workloads
Abstract
It is well known that encryption alone is not enough to protect data privacy. Access patterns, revealed when operations are performed, can also be leveraged in inference attacks. Oblivious RAM (ORAM) hides access patterns by making client requests oblivious. However, existing protocols are still limited in supporting concurrent clients and Byzantine fault tolerance (BFT). We present MVP-ORAM, the first wait-free ORAM protocol that supports concurrent fail-prone clients. In contrast to previous works, MVP-ORAM avoids using trusted proxies, which require additional security assumptions, and concurrency control mechanisms based on inter-client communication or distributed locks, which limit overall throughput and the capability of tolerating faulty clients. Instead, MVP-ORAM enables clients to perform concurrent requests and merge conflicting updates as they happen, satisfying…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Cryptography and Data Security · Security and Verification in Computing
