SaTC: CORE: Small: Enhanced Security and Reliability for
Embedded Control Systems (SERECS)
- funded by: NSF
- funding level: $500,000
- duration: 10/01/2018 - 09/30/2021 (no-cost extension to 9/23)
The overall objective of this work is to significantly increase cyber
security across embedded and networked computing devices by developing
real-time monitoring techniques that defeat cyber-attacks. The project
hypothesizes that these devices can be enhanced by a novel class of
malware detection approaches that rely on fine-grained timing
information of such devices. The premise is that embedded devices are
subject to control systems with soft or even hard real-time
constraints. The execution path of such control code on embedded
devices thus follows a stringent and predictable behavior, which can
be characterized by timing analysis. Once upper bounds on timings
along execution paths are established, this information not only aids
in the verification of timing constraints, but it can also be
exploited to detect deviations from the certified timing
behavior. Timing-based malware detection thus provides a means for
non-stop system integrity. What is more, it can be used to trigger
transitions into a safe operating mode at an early intrusion detection
point to prevent anomalous behavior from escalating.
"Machine Learning Enhanced Real-Time Intrusion Detection Using Timing Information"
by Hang Xu, Frank Mueller, Mithun Acharya, Alok Kucheria in
International Workshop on Trustworthy & Real-time Edge Computing for
Cyber-Physical Systems, Dec 2018.
- A Resilient Software
Infrastructure for Wide-Area Measurement Systems
by Tao Qian, Hang Xu, Aranya Chakrabortty, Frank Mueller, Yufeng Xin in IEEE Power & Energy Society General Meeting, Jul 2016.
- The Colored Refresh Server for DRAM
Xing Pan, Frank Mueller in
IEEE International Symposium on Real-Time Computing (ISORC), May 2019.
"Hiding DRAM Refresh Overhead in Real-Time Cyclic Executives"
by Xing Pan and
in Real-Time Systems Symposium (RTSS), Dec 2019.
- NUMA-aware memory coloring for multicore real-time systems
Xing Pan, Frank Mueller in
Journal of Systems Architecture, Sep 2021, DOI 10.1016/j.sysarc.2021.102188
- T-Pack: Timed Network Security for Real Time Systems
Swastik Mittal, Frank Mueller in
IEEE International Symposium on Real-Time Computing (ISORC), May 2021.
T-SYS: Timed-Based System Security for Real-Time Kernels,
by B. McDonald and F. Mueller
International Conference on Cyber-Physical Systems (ICCPS), May 2022.
- CLAIRE: Enabling Continual Learning for Real-time Autonomous Driving with a Dual-head Architecture
Hao Zhang, Frank Mueller in
IEEE International Symposium on Real-Time Computing (ISORC), May 2022.
"This material is based upon work supported by the National Science Foundation under Grant No. 1813004."
"Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation."