CAREER: Covert Timing Channels in Real-Time Schedulers: How to Find & Conceal Them

About This Grant

Cyber-physical systems, such as those found in autonomous vehicles, drones, medical devices, and power plants, require real-time guarantees to ensure predictable and safe operations. However, this predictability can introduce a hidden security risk: covert timing channels. These are unintended communication channels that allow malicious actors to secretly exchange information between software tasks by manipulating the execution timing. Such vulnerabilities can enable attackers to disrupt normal operations or launch targeted attacks by knowing when critical applications are scheduled to run, posing serious threats to safety and reliability. This CAREER project investigates the existence of covert channels in real-time schedulers and develops strategies to detect, measure, and mitigate them. The success of this project will enhance real-time cyber-physical applications in terms of their security, safety, and resilience. The project's long-term goal is to understand how deterministic behaviors in real-time systems contribute to covert timing vulnerabilities and to develop improved schedulers that can prevent information leaks. By systematically analyzing how timing behaviors in real-time schedulers can be exploited, this study develops new algorithms to detect and mitigate these covert channels. In parallel, the project will devise metrics to quantify information leakage and evaluate the effectiveness of defense strategies. The proposed techniques will be integrated with existing real-time operating systems, and their efficacy will be validated using off-the-shelf cyber-physical testbeds (e.g., multi-terrain rovers and drone swarm systems). In addition to advancing foundational knowledge at the intersection of cybersecurity and real-time cyber-physical systems, this project encompasses comprehensive educational and outreach efforts designed to promote equitable participation. These include publishing a free online textbook, offering international research opportunities for graduate students, and actively involving undergraduate and K-12 students in research and outreach activities. This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.