On-chip control flow integrity check for real time embedded systems. - Fardin Abdi Taghi Abad; Joel van der Woude; Yi Lu; Stanley Bak; Marco Caccamo; Lui Sha; Renato Mancuso 001; Sibin Mohan (CPSNA, 2013)

Intermittent Computation without Hardware Support or Programmer Intervention. - Joel van der Woude; Matthew Hicks (OSDI, 2016)