research
∙
09/19/2023
Poster: Control-Flow Integrity in Low-end Embedded Devices
Embedded, smart, and IoT devices are increasingly popular in numerous ev...
share
research
∙
09/07/2023
Caveat (IoT) Emptor: Towards Transparency of IoT Device Presence (Full Version)
As many types of IoT devices worm their way into numerous settings and m...
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
∙
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
∙
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
∙
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
∙
05/08/2020