TrackOS: A Security-Aware Real-Time Operating System

  title={TrackOS: A Security-Aware Real-Time Operating System},
  author={Lee Pike and Patrick C. Hickey and Trevor Elliott and Eric Mertens and Aaron Tomb},
We describe an approach to control-flow integrity protection for real-time systems. We present TrackOS , a security-aware realtime operating system. TrackOS checks a task’s control stack against a statically-generated call graph, generated by an abstract interpretationbased tool that requires no source code. The monitoring is done from a dedicated task, the schedule of which is controlled by the real-time operating system scheduler. Finally, we implement a version of software-based attestation… CONTINUE READING


Publications citing this paper.
Showing 1-3 of 3 extracted citations

Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach

ACM Conference on Computer and Communications Security • 2018
View 4 Excerpts
Highly Influenced

Cybersecurity issues in robotics

2017 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA) • 2017
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 23 references

SWATT: softWare-based attestation for embedded devices

IEEE Symposium on Security and Privacy, 2004. Proceedings. 2004 • 2004
View 10 Excerpts
Highly Influenced

SOFIA: Software and control flow integrity architecture

2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2016
View 2 Excerpts

Practical Considerations in Control-Flow Integrity Monitoring

2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops • 2011
View 1 Excerpt

Similar Papers

Loading similar papers…