Contact
Director
Prof. Gerhard Fohler
Office hours:
Tuesdays 15:00 - 16:00
jitsi.rhrk.uni-kl.de/RTS
Secretary
Stephanie Jung
Phone: +49 631 205 2086

Office Hours
via appointment
You are here: RTS-Portal>>Publications

Publications

Search Publications

show/hide

Towards Transparent Control-Flow Integrity in Safety-Critical Systems


Category: Conference
Author(s)Don Kuzhiyelil, Philipp Zieris, Marine Kadar, Sergey Tverdyshev, Gerhard Fohler
Source23rd Information Security Conference, SPRINGER.
Date Sep 2020
Download:

Abstract

Protecting safety-critical Cyber-Physical Systems (CPS) against security threats is becoming a growing necessity. Due to the high level of network integration, CPS pose new targets to remote code-reuse attacks, such as Return-Oriented Programming (ROP). An effective mechanism to detect code-reuse attacks is Control-Flow Integrity (CFI). However, because of the intrusiveness of most current CFI solutions, i.e., their requirement for program instrumentation and run-time interference, we cannot directly apply them to safety-critical CPS. To the best of our knowledge, there is no CFI solution designed for CPS; and more specifically, we are not aware of any solution that fully monitors the forward-edges and backward edges of an application’s control-flow, while providing independence and freedom from interference guarantees. Hence, for the first time, we propose a safety certifiable, separation kernel-based partitioning architecture to integrate CFI monitoring in a safety-critical system to protect applications with real-time constraints. Our solution leverages ARM CoreSight to transparently enforce both forward-edge and backward-edge CFI for an application at run-time. Despite imposing a significant overhead on the overall system, our approach reliably protects the control-flow of the monitored application, while guaranteeing its real-time constraints. We evaluate our solution by analyzing its timing impact and discussing the resulting considerations for the integration and practical deployment in a safety-critical CPS.

Bibtex


Upcoming Events
Currently no events
Latest News:
29.09.20 13:16
We will hold the RTS labratory 2 lab in presence in winter semester 2020/21 with limited numer of...


29.09.20 13:14
Please find updates on teaching in Winter Semester 2020/21 here


20.07.20 16:37
Our paper titled "Enabling Fog-based Industrial Robotics Systems" by Mohammed Shaik,...


All News