Abstract: The rising demand for data privacy in cloud-based environments has led to the development of advanced mechanisms for securely managing sensitive information. A prominent solution in this domain is the “Data Privacy Vault,” a concept that is being provided commercially by companies such as Hashicorp [17], Basis Theory [5], Skyflow Inc. [20], VGS [21], Evervault [15], Protegrity [19], Anonomatic [1], and BoxyHQ [9]. However, no existing work has rigorously defined the security notions required for a Data Privacy Vault or proven them within a formal framework which is the focus of this paper.
Loading