Cabin: Confining Untrusted Programs within Confidential VMs.

Benshan Mei Saisai Xia Wenhao Wang Dongdai Lin

Published in: CoRR (2024)

Keyphrases

sensitive data
virtual machine
original data
security policies
numerical data
third party
privacy preserving
sensitive information
data privacy
information systems
data storage
fixpoint
automatic programming
provably correct
data perturbation