Program analysis for secure big data processing
Policy-sealed data: A new abstraction for building trusted cloud services