research
∙
04/27/2023
You Can't Always Check What You Wanted: Selective Checking and Trusted Execution to Prevent False Actuations in Cyber-Physical Systems
Cyber-physical systems (CPS) are vulnerable to attacks targeting outgoin...
share
research
∙
04/23/2023
Exploring Challenges of Deploying BERT-based NLP Models in Resource-Constrained Embedded Devices
BERT-based neural architectures have established themselves as popular s...
research
∙
08/04/2022
Ellipsis: Towards Efficient System Auditing for Real-Time Systems
System auditing is a powerful tool that provides insight into the nature...
research
∙
03/12/2020
Securing Vehicle-to-Everything (V2X) Communication Platforms
Modern vehicular wireless technology enables vehicles to exchange inform...
research
∙
11/27/2019
Period Adaptation for Continuous Security Monitoring in Multicore Real-Time Systems
We propose a design-time framework (named HYDRA-C) for integrating secur...
research
∙
08/26/2019
Protecting Actuators in Safety-Critical IoT Systems from Control Spoofing Attacks
In this paper, we propose a framework called Contego-TEE to secure Inter...
research
∙
06/04/2018
REORDER: Securing Dynamic-Priority Real-Time Systems Using Schedule Obfuscation
Modern real-time systems (RTS) are increasingly the focus of security th...
research
∙
11/13/2017
A Design-Space Exploration for Allocating Security Tasks in Multicore Real-Time Systems
The increased capabilities of modern real-time systems (RTS) expose them...
research
∙
04/29/2017