Secure checkpointing using public key cryptography in mobile computing | IEEE Conference Publication | IEEE Xplore