Program analysis for secure big data processing
Assured Cloud-Based Data Analysis with ClusterBFT