Optimal checkpointing for secure intermittently-powered IoT devices | IEEE Conference Publication | IEEE Xplore