research
∙
08/23/2023
PARseL: Towards a Verified Root-of-Trust over seL4
Widespread adoption and growing popularity of embedded/IoT/CPS devices m...
share
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
∙
01/13/2023
On the feasibility of attacking Thai LPR systems with adversarial examples
Recent advances in deep neural networks (DNNs) have significantly enhanc...
research
∙
12/29/2022
πQLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain
The increase in the adoption of blockchain technology in different appli...
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
∙
04/14/2022
Detecting Anomalous LAN Activities under Differential Privacy
Anomaly detection has emerged as a popular technique for detecting malic...
research
∙
05/08/2020
On the TOCTOU Problem in Remote Attestation
We propose Remote Attestation with TOCTOU Avoidance (RATA): a provably s...
research
∙
04/21/2020
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version
Implementation flaws in cryptographic libraries, design flaws in algorit...
research
∙
08/07/2019
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
Modern society is increasingly surrounded by, and accustomed to, a wide ...
research
∙
11/01/2018
Formally Verified Hardware/Software Co-Design for Remote Attestation
In this work, we take the first step towards formal verification of RA b...
research
∙
07/13/2018