REXEC: A Decentralized, Secure Remote Execution Environment for Clusters