1. Domenico Balsamo, Alex S. Weddell, Anup Das, Alberto Rodríguez Arreola, Davide Brunelli, Bashir M. Al-Hashimi, Geoff V. Merrett, and Luca Benini. 2016. Hibernus++: A Self-Calibrating and Adaptive System for Transiently-Powered Embedded Devices. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2016).
2. Domenico Balsamo, Alex S. Weddell, Geoff V. Merrett, Bashir M. Al-Hashimi, Davide Brunelli, and Luca Benini. 2015. Hibernus: Sustaining Computation During Intermittent Supply for Energy-Harvesting Systems. IEEE Embedded Systems Letters (2015).
3. Chain: tasks and channels for reliable intermittent programs
4. HMD-Hardener: Adversarially Robust and Efficient Hardware-Assisted Runtime Malware Detection
5. Zahra Ghodsi Siddharth Garg and Ramesh Karri. 2017. Optimal checkpointing for secure intermittently-powered IoT devices. (2017).