2015 · 115 citations · 41 references
Secure Multi-party ComputationEngineeringInformation SecurityProgram AnalysisComputer ArchitectureComputer EngineeringData PrivacyMemory TrafficBus TrafficPrivacy-preserving CommunicationComputer ScienceSecure ComputingOblivious RamCompilersConfidential ComputingTrusted Execution EnvironmentData SecurityCryptography
This paper presents a new, co-designed compiler and architecture called GhostRider for supporting privacy preserving computation in the cloud. GhostRider ensures all programs satisfy a property called memory-trace obliviousness (MTO): Even an adversary that observes memory, bus traffic, and access times while the program executes can learn nothing about the program's sensitive inputs and outputs. One way to achieve MTO is to employ Oblivious RAM (ORAM), allocating all code and data in a single ORAM bank, and to also disable caches or fix the rate of memory traffic. This baseline approach can be inefficient, and so GhostRider's compiler uses a program analysis to do better, allocating data to non-oblivious, encrypted RAM (ERAM) and employing a scratchpad when doing so will not compromise MTO. The compiler can also allocate to multiple ORAM banks, which sometimes significantly reduces access times.We have formalized our approach and proved it enjoys MTO. Our FPGA-based hardware prototype and simulation results show that GhostRider significantly outperforms the baseline strategy.
41
J. Alex Halderman, Seth David Schoen, Nadia Heninger et al. · Communications of the ACM · 2009 · 946 citations
Richard Chow, Philippe Golle, Markus Jakobsson et al. · 2009 · 803 citations
Emil Stefanov, Marten van Dijk, Elaine Shi et al. · 2013 · 682 citations
Secure Multi-party Computation, Cryptographic Primitive, Engineering +12