8 citations · 8 across the 3 of their papers we have counts for
3 papers
ROS2-Based Simulation Framework for Cyberphysical Security Analysis of UAVs
Unmesh Patil, Akshith Gunasekaran, Rakesh Bobba +1
We present a new simulator of Uncrewed Aerial Vehicles (UAVs) that is tailored to the needs of testing cyber-physical security attacks and defenses. Recent investigations into UAV…
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
Ali Shokri, Alexandre Perez, Souma Chowdhury +6
We introduce a novel approach to automatically synthesize a mathematical representation of the control algorithms implemented in industrial cyber-physical systems (CPS), given the…
MultiK: A Framework for Orchestrating Multiple Specialized Kernels
Hsuan-Chi Kuo, Akshith Gunasekaran, Yeongjin Jang +4
We present, MultiK, a Linux-based framework 1 that reduces the attack surface for operating system kernels by reducing code bloat. MultiK "orchestrates" multiple kernels that are s…