Raheem Beyah

Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems

2018 · arXiv (Cornell University)

Securing cyber-physical systems (CPS) against malicious attacks is of paramount importance because these attacks may cause irreparable damages to physical systems. Recent studies have revealed that control programs running on CPS devices suffer from both …

SyzTrust: State-aware Fuzzing on Trusted OS Designed for IoT Devices

2023 · arXiv (Cornell University)

Trusted Execution Environments (TEEs) embedded in IoT devices provide a deployable solution to secure IoT applications at the hardware level. By design, in TEEs, the Trusted Operating System (Trusted OS) is the primary component. It …