research
∙
08/24/2023
DiCA: A Hardware-Software Co-Design for Differential Checkpointing in Intermittently Powered Devices
Intermittently powered devices rely on opportunistic energy-harvesting t...
research
∙
03/28/2023
ACFA: Secure Runtime Auditing Guaranteed Device Healing via Active Control Flow Attestation
Low-end embedded devices are increasingly used in various smart applicat...
research
∙
06/06/2022