140 citations · 266 across the 20 of their papers we have counts for
21 papers
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…
Processing Natural Language on Embedded Devices: How Well Do Transformer Models Perform?
Souvika Sarkar, Mohammad Fakhruddin Babar, Md Mahadi Hassan +2
This paper presents a performance study of transformer language models under different hardware configurations and accuracy requirements and derives empirical observations about th…
Ellipsis: Towards Efficient System Auditing for Real-Time Systems
Ayoosh Bansal, Anant Kandikuppa, Chien-Ying Chen +3
System auditing is a powerful tool that provides insight into the nature of suspicious events in computing systems, allowing machine operators to detect and subsequently investigat…
Securing Vehicle-to-Everything (V2X) Communication Platforms
Monowar Hasan, Sibin Mohan, Takayuki Shimizu +1
Modern vehicular wireless technology enables vehicles to exchange information at any time, from any place, to any network -- forms the vehicle-to-everything (V2X) communication pla…
Period Adaptation for Continuous Security Monitoring in Multicore Real-Time Systems
Monowar Hasan, Sibin Mohan, Rodolfo Pellizzoni +1
We propose a design-time framework (named HYDRA-C) for integrating security tasks into partitioned real-time systems (RTS) running on multicore platforms. Our goal is to opportunis…
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…