Conference paper
Finding incorrect compositions of atomicity
Peng Liu, Julian Dolby, et al.
ESEC/FSE 2013
In cloud computing customers upload data and computation to cloud providers. As they upload their data to the cloud provider, they typically give up data confidentiality. We develop SecureMR, a system that analyzes and transforms MapReduce programs to operate over encrypted data. SecureMR makes use of partially homomorphic encryption and a trusted client. We evaluate SecureMR on a set of complex computation-intensive MapReduce benchmarks.
Peng Liu, Julian Dolby, et al.
ESEC/FSE 2013
Peter Fenner, Edward O. Pyzer-Knapp
AAAI 2020
Ehud Aharoni, Nir Drucker, et al.
CSCML 2023
Shay Artzi, Julian Dolby, et al.
ICSE 2010