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 cede their data to the cloud provider, they may cede 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 MapReduce benchmarks.
Peng Liu, Julian Dolby, et al.
ESEC/FSE 2013
Ehud Aharoni, Nir Drucker, et al.
CSCML 2023
Peter Fenner, Edward O. Pyzer-Knapp
AAAI 2020
Shay Artzi, Julian Dolby, et al.
ICSE 2010