12 citations · 15 across the 3 of their papers we have counts for
6 papers · 1 filter
You Can't Always Check What You Wanted: Selective Checking and Trusted Execution to Prevent False Actuations in Cyber-Physical Systems
Monowar Hasan, Sibin Mohan
Cyber-physical systems (CPS) are vulnerable to attacks targeting outgoing actuation commands that modify their physical behaviors. The limited resources in such systems, coupled wi…
Protecting Actuators in Safety-Critical IoT Systems from Control Spoofing Attacks
Monowar Hasan, Sibin Mohan
In this paper, we propose a framework called Contego-TEE to secure Internet-of-Things (IoT) edge devices with timing requirements from control spoofing attacks where an adversary s…
REORDER: Securing Dynamic-Priority Real-Time Systems Using Schedule Obfuscation
Chien-Ying Chen, Monowar Hasan, AmirEmad Ghassami +2
The deterministic (timing) behavior of real-time systems (RTS) can be used by adversaries - say, to launch side channel attacks or even destabilize the system by denying access to…
A Design-Space Exploration for Allocating Security Tasks in Multicore Real-Time Systems
Monowar Hasan, Sibin Mohan, Rodolfo Pellizzoni +1
The increased capabilities of modern real-time systems (RTS) expose them to various security threats. Recently, frameworks that integrate security tasks without perturbing the real…
Contego: An Adaptive Framework for Integrating Security Tasks in Real-Time Systems
Monowar Hasan, Sibin Mohan, Rodolfo Pellizzoni +1
Embedded real-time systems (RTS) are pervasive. Many modern RTS are exposed to unknown security flaws, and threats to RTS are growing in both number and sophistication. However, un…
Restart-Based Security Mechanisms for Safety-Critical Embedded Systems
Fardin Abdi, Chien-Ying Chen, Monowar Hasan +3
Many physical plants that are controlled by embedded systems have safety requirements that need to be respected at all times - any deviations from expected behavior can result in d…