Trust but verify: monitoring remotely executing programs for progress and correctness.

Shuo Yang, Ali Raza Butt, Y. Charlie Hu, Samuel P. Midkiff

Browse the full PPoPP paper archive.