Principal Investigator: Jamie Davis
Many cyber-physical systems rely on a real-time operating system (RTOS) for their current functioning. When either an RTOS or an application is compromised, the health of the cyber-physical system may be affected. This project evaluates the security of both popular RTOSes (e.g. FreeRTOS) and the applications that depend on them. We are using vulnerability analysis to tailor novel fuzzing techniques to this domain.
Other PIs: Aravind Machiry (ECE)
Students: Paschal Amusuo (PhD student @ECE) Jayashree Srinivasan (MSc student @ECE)
Keywords: analysis, CPS, cyber-physical systems, fuzzing, real-time operating systems, RTOS