Mementos: System Support for Long-Running Computation on RFID-Scale Devices
web.cs.umass.edu
web.cs.umass.edu
I don't think it needs the kind of compiler tricks this article describes though, instead it's just different hardware. I would be quite interested in seeing a benchmark of the technique in this paper (fast computation in SRAM and cleverly timed checkpoints to Flash) vs just running the stack in FRAM to start with, especially on this MSP430 that has both all 3 memory typed and can work as an RFID tag [2]
See for instance iLOQ, they provide locks/keys that are authenticated through harvesting energy from a user simply inserting the key, and in that time authenticates if the user is the owner of the lock [1].
I wonder where there are more products like these...