Audit meets game theory: Verifying reliable execution of SLA for compute-intensive program in cloud | IEEE Conference Publication | IEEE Xplore