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...
share
research
∙
08/23/2023
PARseL: Towards a Verified Root-of-Trust over seL4
Widespread adoption and growing popularity of embedded/IoT/CPS devices m...
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
∙
03/07/2023
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations
The wide adoption of IoT gadgets and Cyber-Physical Systems (CPS) makes ...
research
∙
09/02/2022
CASU: Compromise Avoidance via Secure Update for Low-end Embedded Systems
Guaranteeing runtime integrity of embedded system software is an open pr...
research
∙
06/06/2022
ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems
Embedded devices are increasingly ubiquitous and their importance is har...
research
∙
05/05/2022
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA
There are many well-known techniques to secure sensed data in IoT/CPS sy...
research
∙
03/24/2021
DIALED: Data Integrity Attestation for Low-end Embedded Devices
Verifying integrity of software execution in low-end micro-controller un...
research
∙
02/13/2021
GAROTA: Generalized Active Root-Of-Trust Architecture
In this paper, we set out to systematically design a minimal active RoT ...
research
∙
11/14/2020
Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution
The design of tiny trust anchors has received significant attention over...
research
∙
10/26/2020
On the Root of Trust Identification Problem
Root of Trust Identification (RTI) refers to determining whether a given...
research
∙
05/08/2020
On the TOCTOU Problem in Remote Attestation
We propose Remote Attestation with TOCTOU Avoidance (RATA): a provably s...
research
∙
08/07/2019