Author details
Author's Published Works
Scheduled Maintenance on Monday 1/13/2025
Single article sales and account management will be unavailable from 5:00 AM - 7:00 PM ET (09:00 - 23:00 UTC). We apologize for the inconvenience.
Author details
Showing 1-8 of 8 results
- Sort
Sort By
Results
SchedGuard: Protecting against Schedule Leaks Using Linux Containers
Jiyang Chen;Tomasz Kloda;Ayoosh Bansal;Rohan Tabish;Chien-Ying Chen;Bo Liu;Sibin Mohan;Marco Caccamo;Lui Sha
2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS)
Year: 2021 | Conference Paper |
Cited by: Papers (6)
Real-time systems have recently been shown to be vulnerable to timing inference attacks, mainly due to their predictable behavioral patterns. Existing solutions such as schedule randomization lack the ability to protect against such attacks, often limited by the system's real-time nature. This paper presents “SchedGuard”: a temporal protection framework for Linux-based hard real-time systems that ...Show More
A Unified Digital Twin Framework for Real-time Monitoring and Evaluation of Smart Manufacturing Systems
Yassine Qamsane;Chien-Ying Chen;Efe C. Balta;Bin-Chou Kao;Sibin Mohan;James Moyne;Dawn Tilbury;Kira Barton
2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)
Year: 2019 | Conference Paper |
Cited by: Papers (45)
Digital Twin (DT) is one of the key enabling technologies for realizing the promise of Smart Manufacturing (SM) and Industry 4.0 to improve production systems operation. Driven by the generation and analysis of high volume data coming from interconnected cyber and physical spaces, DTs are real-time digital images of physical systems, processes or products that help evaluate and improve business pe...Show More
Towards Automated Safety Vetting of PLC Code in Real-World Plants
Mu Zhang;Chien-Ying Chen;Bin-Chou Kao;Yassine Qamsane;Yuru Shao;Yikai Lin;Elaine Shi;Sibin Mohan;Kira Barton;James Moyne;Z. Morley Mao
2019 IEEE Symposium on Security and Privacy (SP)
Year: 2019 | Conference Paper |
Cited by: Papers (35)
Safety violations in programmable logic controllers (PLCs), caused either by faults or attacks, have recently garnered significant attention. However, prior efforts at PLC code vetting suffer from many drawbacks. Static analyses and verification cause significant false positives and cannot reveal specific runtime contexts. Dynamic analyses and symbolic execution, on the other hand, fail due to the...Show More
A Novel Side-Channel in Real-Time Schedulers
Chien-Ying Chen;Sibin Mohan;Rodolfo Pellizzoni;Rakesh B. Bobba;Negar Kiyavash
2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
Year: 2019 | Conference Paper |
Cited by: Papers (23)
We demonstrate the presence of a novel scheduler side-channel in preemptive, fixed-priority real-time systems (RTS); examples of such systems can be found in automotive systems, avionic systems, power plants and industrial control systems among others. This side-channel can leak important timing information such as the future arrival times of real-time tasks. This information can then be used to l...Show More
Preserving Physical Safety Under Cyber Attacks
Fardin Abdi;Chien-Ying Chen;Monowar Hasan;Songran Liu;Sibin Mohan;Marco Caccamo
IEEE Internet of Things Journal
Cited by: Papers (31)
Physical plants that form the core of the cyber-physical systems (CPSs) often have stringent safety requirements and, recent attacks have shown that cyber intrusions can cause damage to these plant. In this paper, we demonstrate how to ensure the safety of the physical plant even when the platform is compromised. We leverage the fact that due to physical inertia, an adversary cannot destabilize th...Show More
Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems
Fardin Abdi;Chien-Ying Chen;Monowar Hasan;Songran Liu;Sibin Mohan;Marco Caccamo
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)
Year: 2018 | Conference Paper |
Cited by: Papers (40)
Physical plants that form the core of the Cyber-Physical Systems (CPS) often have stringent safety requirements. Recent attacks have shown that cyber intrusions can result in the safety of such plants being compromised – thus leading to physical damage. In this paper, we demonstrate how to ensure safety of the plant even when the system gets compromised. We leverage the fact that due to inertia, a...Show More
SDCWorks: A Formal Framework for Software Defined Control of Smart Manufacturing Systems
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)
Year: 2018 | Conference Paper |
Cited by: Papers (9)
Discrete manufacturing systems are complex cyber-physical systems (CPS) and their availability, performance, and quality have a big impact on the economy. Smart manufacturing promises to improve these aspects. One key approach that is being pursued in this context is the creation of centralized software-defined control (SDC) architectures and strategies that use diverse sensors and data sources to...Show More
TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
Year: 2016 | Conference Paper |
Cited by: Papers (40)
The high degree of predictability in real-time systems makes it possible for adversaries to launch timing inference attacks such as those based on side-channels and covert-channels. We present TaskShuffler, a schedule obfuscation method aimed at randomizing the schedule for such systems while still providing the real-time guarantees that are necessary for their safe operation. This paper also anal...Show More
IEEE Account
Purchase Details
Profile Information
Need Help?
- US & Canada: +1 800 678 4333
- Worldwide: +1 732 981 0060
- Contact & Support
- About IEEE Xplore
- Contact Us
- Help
- Accessibility
- Terms of Use
- Nondiscrimination Policy
- Sitemap
- Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2025 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.