research
∙
09/18/2023
TOPr: Enhanced Static Code Pruning for Fast and Precise Directed Fuzzing
Directed fuzzing is a dynamic testing technique that focuses exploration...
share
research
∙
07/03/2023
Pareto-Secure Machine Learning (PSML): Fingerprinting and Securing Inference Serving Systems
With the emergence of large foundational models, model-serving systems a...
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...
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
∙
04/09/2021
SchedGuard: Protecting against Schedule Leaks Using Linux Containers
Real-time systems have recently been shown to be vulnerable to timing in...
research
∙
03/12/2020
Securing Vehicle-to-Everything (V2X) Communication Platforms
Modern vehicular wireless technology enables vehicles to exchange inform...
research
∙
01/17/2020
On Scheduler Side-Channels in Dynamic-Priority Real-Time Systems
While the existence of scheduler side-channels has been demonstrated rec...
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
∙
03/16/2019
MultiK: A Framework for Orchestrating Multiple Specialized Kernels
We present, MultiK, a Linux-based framework 1 that reduces the attack su...
research
∙
06/05/2018
ScheduLeak: A Novel Scheduler Side-Channel Attack Against Real-Time Autonomous Control Systems
Real-time autonomous control systems are often the core of safety critic...
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
∙
05/07/2017
A Reconnaissance Attack Mechanism for Fixed-Priority Real-Time Systems
In real-time embedded systems (RTS), failures due to security breaches c...
research
∙
04/29/2017