Timing Analysis for Sensor Network Nodes of the Atmega Processor Family. - Sibin Mohan; Frank Mueller 001; David B. Whalley; Christopher A. Healy (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling. - Sibin Mohan; Frank Mueller 001; William Hawkins 001; Michael Root; Christopher A. Healy; David B. Whalley (RTSS, 2005)

Temporal Analysis for Adapting Concurrent Applications to Embedded Systems. - Sibin Mohan; Johannes Helander (ECRTS, 2008)

Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions. - Sibin Mohan; Frank Mueller 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

Merging State and Preserving Timing Anomalies in Pipelines of High-End Processors. - Sibin Mohan; Frank Mueller 001 (RTSS, 2008)

Worst-case execution time analysis of security policies for deeply embedded real-time systems. - Sibin Mohan (SIGBED Rev., 2008)

CheckerCore: enhancing an FPGA soft core to capture worst-case execution times. - Jin Ouyang; Raghuveer Raghavendra; Sibin Mohan; Tao Zhang 032; Yuan Xie 001; Frank Mueller 001 (CASES, 2009)

Push-assisted migration of real-time tasks in multi-core processors. - Abhik Sarkar; Frank Mueller 001; Harini Ramaprasad; Sibin Mohan (LCTES, 2009)

Rapid Early-Phase Virtual Integration. - Sibin Mohan; Min-Young Nam; Rodolfo Pellizzoni; Lui Sha; Richard M. Bradford; Shana Fliginger (RTSS, 2009)

A framework for the safe interoperability of medical devices in the presence of network failures. - Cheolgi Kim; Mu Sun; Sibin Mohan; Heechul Yun; Lui Sha; Tarek F. Abdelzaher (ICCPS, 2010)

Time-based intrusion detection in cyber-physical systems. - Christopher Zimmer 001; Balasubramanya Bhat; Frank Mueller 001; Sibin Mohan (ICCPS, 2010)

Parametric timing analysis and its application to dynamic voltage scaling. - Sibin Mohan; Frank Mueller 001; Michael Root; William Hawkins 001; Christopher A. Healy; David B. Whalley; Emilio Vivancos (ACM Trans. Embed. Comput. Syst., 2010)

S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems - Sibin Mohan; Stanley Bak; Emiliano Betti; Heechul Yun; Lui Sha; Marco Caccamo (CoRR, 2012)

On-chip control flow integrity check for real time embedded systems. - Fardin Abdi Taghi Abad; Joel van der Woude; Yi Lu; Stanley Bak; Marco Caccamo; Lui Sha; Renato Mancuso 001; Sibin Mohan (CPSNA, 2013)

S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems. - Sibin Mohan; Stanley Bak; Emiliano Betti; Heechul Yun; Lui Sha; Marco Caccamo (HiCoNS, 2013)

SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems. - Man-Ki Yoon; Sibin Mohan; Jaesik Choi; Jung-Eun Kim; Lui Sha (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Real-Time Systems Security through Scheduler Constraints. - Sibin Mohan; Man-Ki Yoon; Rodolfo Pellizzoni; Rakesh Bobba (ECRTS, 2014)

Inter-flow consistency: A novel SDN update abstraction for supporting inter-flow constraints. - Weijie Liu; Rakesh B. Bobba; Sibin Mohan; Roy H. Campbell (CNS, 2015)

Memory heat map: anomaly detection in real-time embedded systems using memory behavior. - Man-Ki Yoon; Lui Sha; Sibin Mohan; Jaesik Choi (DAC, 2015)

A generalized model for preventing information leakage in hard real-time systems. - Rodolfo Pellizzoni; Neda Paryab; Man-Ki Yoon; Stanley Bak; Sibin Mohan; Rakesh Bobba (RTAS, 2015)

Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems. - Man-Ki Yoon; Sibin Mohan; Jaesik Choi; Mihai Christodorescu; Lui Sha (CoRR, 2015)

TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems. - Man-Ki Yoon; Sibin Mohan; Chien-Ying Chen; Lui Sha (RTAS, 2016)

Exploring Opportunistic Execution for Integrating Security into Legacy Hard Real-Time Systems. - Monowar Hasan; Sibin Mohan; Rakesh B. Bobba; Rodolfo Pellizzoni (RTSS, 2016)

The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. - Man-Ki Yoon; Mihai Christodorescu; Lui Sha; Sibin Mohan (SYSTOR, 2016)

Integrating security constraints into fixed priority real-time schedulers. - Sibin Mohan; Man-Ki Yoon; Rodolfo Pellizzoni; Rakesh B. Bobba (Real Time Syst., 2016)

New Directions for Container Debloating. - Vaibhav Rastogi; Chaitra Niddodi; Sibin Mohan; Somesh Jha (FEAST@CCS, 2017)

Contego: An Adaptive Framework for Integrating Security Tasks in Real-Time Systems. - Monowar Hasan; Sibin Mohan; Rodolfo Pellizzoni; Rakesh B. Bobba (ECRTS, 2017)

Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System. - Man-Ki Yoon; Sibin Mohan; Jaesik Choi; Mihai Christodorescu; Lui Sha (IoTDI, 2017)

End-to-End Network Delay Guarantees for Real-Time Systems Using SDN. - Rakesh Kumar 016; Monowar Hasan; Smruti Padhy; Konstantin Evchenko; Lavanya Piramanayagam; Sibin Mohan; Rakesh B. Bobba (RTSS, 2017)

Restart-Based Security Mechanisms for Safety-Critical Embedded Systems. - Fardin Abdi; Chien-Ying Chen; Monowar Hasan; Songran Liu; Sibin Mohan; Marco Caccamo (CoRR, 2017)

A Reconnaissance Attack Mechanism for Fixed-Priority Real-Time Systems. - Chien-Ying Chen; AmirEmad Ghassami; Sibin Mohan; Negar Kiyavash; Rakesh B. Bobba; Rodolfo Pellizzoni; Man-Ki Yoon (CoRR, 2017)

Dependable End-to-End Delay Constraints for Real-Time Systems using SDNs. - Rakesh Kumar 016; Monowar Hasan; Smruti Padhy; Konstantin Evchenko; Lavanya Piramanayagam; Sibin Mohan; Rakesh B. Bobba (CoRR, 2017)

A Novel Scheduling Framework Leveraging Hardware Cache Partitioning for Cache-Side-Channel Elimination in Clouds. - Read Sprabery; Konstantin Evchenko; Abhilash Raj; Rakesh B. Bobba; Sibin Mohan; Roy H. Campbell (CoRR, 2017)

A design-space exploration for allocating security tasks in multicore real-time systems. - Monowar Hasan; Sibin Mohan; Rodolfo Pellizzoni; Rakesh B. Bobba (DATE, 2018)

CERTS 2018 Introduction. - Mikael Asplund; Sibin Mohan (DSN Workshops, 2018)

The future of IoT security: special session. - Sibin Mohan; Mikael Asplund; Gedare Bloom; Ahmad-Reza Sadeghi; Ahmad Ibrahim 002; Negin Salajageh; Paul Griffioen; Bruno Sinopoli (EMSOFT, 2018)

Scheduling, Isolation, and Cache Allocation: A Side-Channel Defense. - Read Sprabery; Konstantin Evchenko; Abhilash Raj; Rakesh B. Bobba; Sibin Mohan; Roy H. Campbell (IC2E, 2018)

Guaranteed physical security with restart-based design for cyber-physical systems. - Fardin Abdi; Chien-Ying Chen; Monowar Hasan; Songran Liu; Sibin Mohan; Marco Caccamo (ICCPS, 2018)

SDCworks: a formal framework for software defined control of smart manufacturing systems. - Matthew Potok; Chien-Ying Chen; Sayan Mitra; Sibin Mohan (ICCPS, 2018)

REORDER: Securing Dynamic-Priority Real-Time Systems Using Schedule Obfuscation. - Chien-Ying Chen; Monowar Hasan; AmirEmad Ghassami; Sibin Mohan; Negar Kiyavash (CoRR, 2018)

ScheduLeak: A Novel Scheduler Side-Channel Attack Against Real-Time Autonomous Control Systems. - Chien-Ying Chen; Sibin Mohan; Rakesh B. Bobba; Rodolfo Pellizzoni; Negar Kiyavash (CoRR, 2018)

Securing Real-Time Internet-of-Things. - Chien-Ying Chen; Monowar Hasan; Sibin Mohan (Sensors, 2018)

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 R. Moyne; Dawn M. Tilbury; Kira Barton (CASE, 2019)

Protecting Actuators in Safety-Critical IoT Systems from Control Spoofing Attacks. - Monowar Hasan; Sibin Mohan (IoT S&P@CCS, 2019)

A Novel Side-Channel in Real-Time Schedulers. - Chien-Ying Chen; Sibin Mohan; Rodolfo Pellizzoni; Rakesh B. Bobba; Negar Kiyavash (RTAS, 2019)

Secure Integration of Electric Vehicles with the Power Grid. - Chaitra Niddodi; Shanny Lin; Sibin Mohan; Hao Zhu 001 (SmartGridComm, 2019)

Towards Automated Safety Vetting of PLC Code in Real-World Plants. - Mu Zhang 001; Chien-Ying Chen; Bin-Chou Kao; Yassine Qamsane; Yuru Shao; Yikai Lin; Elaine Shi; Sibin Mohan; Kira Barton; James R. Moyne; Z. Morley Mao (IEEE Symposium on Security and Privacy, 2019)

First in Canada, Night and Day Field Demonstration of a New Photovoltaic Solar-Based Flexible AC Transmission System (FACTS) Device PV-STATCOM for Stabilizing Critical Induction Motor. - Rajiv K. Varma; Ehsan M. Siavashi; Sibin Mohan; Tim Vanderheide (IEEE Access, 2019)

MultiK: A Framework for Orchestrating Multiple Specialized Kernels. - Hsuan-Chi Kuo; Akshith Gunasekaran; Yeongjin Jang; Sibin Mohan; Rakesh B. Bobba; David Lie; Jesse Walker (CoRR, 2019)

Preserving Physical Safety Under Cyber Attacks. - Fardin Abdi; Chien-Ying Chen; Monowar Hasan; Songran Liu; Sibin Mohan; Marco Caccamo (IEEE Internet Things J., 2019)

Period Adaptation for Continuous Security Monitoring in Multicore Real-Time Systems. - Monowar Hasan; Sibin Mohan; Rodolfo Pellizzoni; Rakesh B. Bobba (DATE, 2020)

A Linux in unikernel clothing. - Hsuan-Chi Kuo; Dan Williams 001; Ricardo Koller; Sibin Mohan (EuroSys, 2020)

Improving Dependability via Deadline Guarantees in Commodity Real-time Networks. - Ashish Kashinath; Monowar Hasan; Sibin Mohan; Rakesh B. Bobba; Radhika Mittal (GLOBECOM (Workshops), 2020)

MiDas: Containerizing Data-Intensive Applications with I/O Specialization. - Chaitra Niddodi; Ashish Gehani; Tanu Malik; Jorge A. Navas; Sibin Mohan (P-RECS@HPDC, 2020)

On Scheduler Side-Channels in Dynamic-Priority Real-Time Systems. - Chien-Ying Chen; Sibin Mohan; Rodolfo Pellizzoni; Rakesh B. Bobba (CoRR, 2020)

Set the Configuration for the Heart of the OS: On the Practicality of Operating System Kernel Debloating. - Hsuan-Chi Kuo; Jianyan Chen; Sibin Mohan; Tianyin Xu (Proc. ACM Meas. Anal. Comput. Syst., 2020)

Securing Vehicle-to-Everything (V2X) Communication Platforms. - Monowar Hasan; Sibin Mohan; Takayuki Shimizu; Hongsheng Lu (IEEE Trans. Intell. Veh., 2020)

Indistinguishability Prevents Scheduler Side Channels in Real-Time Systems. - Chien-Ying Chen; Debopam Sanyal; Sibin Mohan (CCS, 2021)

Safety Critical Networks using Commodity SDNs. - Ashish Kashinath; Monowar Hasan; Rakesh Kumar 016; Sibin Mohan; Rakesh B. Bobba; Smruti Padhy (INFOCOM, 2021)

SchedGuard: Protecting against Schedule Leaks Using Linux Containers. - Jiyang Chen; Tomasz Kloda; Ayoosh Bansal; Rohan Tabish; Chien-Ying Chen; Bo Liu 044; Sibin Mohan; Marco Caccamo; Lui Sha (RTAS, 2021)

PIRMedic: physics-driven fault diagnosis for PIR sensors. - Ashish Kashinath; Sibin Mohan; Akshay Nambi 001; Sumukh Marathe (BuildSys, 2021)

Comparative assessment of typical controlrealizations of grid forming converters based ontheir voltage source behaviour. - Kanakesh Vatta Kkuni; Sibin Mohan; Guangya Yang; Wilsun Xu (CoRR, 2021)

Towards Efficient Auditing for Real-Time Systems. - Ayoosh Bansal; Anant Kandikuppa; Chien-Ying Chen; Monowar Hasan; Adam Bates 001; Sibin Mohan (ESORICS (3), 2022)

Verified programs can party: optimizing kernel extensions via post-verification merging. - Hsuan-Chi Kuo; Kai-Hsun Chen; Yicheng Lu; Dan Williams 001; Sibin Mohan; Tianyin Xu (EuroSys, 2022)

Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs. - Kyo Hyun Kim; Denizkhan Kara; Vineetha Paruchuri; Sibin Mohan; Greg Kimberly; Denis Osipychev; Jae H. Kim; Josh D. Eckhardt; Miroslav Pajic (MILCOM, 2022)

Ellipsis: Towards Efficient System Auditing for Real-Time Systems. - Ayoosh Bansal; Anant Kandikuppa; Chien-Ying Chen; Monowar Hasan; Adam Bates 001; Sibin Mohan (CoRR, 2022)

Beyond Just Safety: Delay-aware Security Monitoring for Real-time Control Systems. - Monowar Hasan; Sibin Mohan; Rakesh B. Bobba; Rodolfo Pellizzoni (ACM Trans. Cyber Phys. Syst., 2022)

You Can't Always Check What You Wanted: : Selective Checking and Trusted Execution to Prevent False Actuations in Real-Time Internet-of-Things. - Monowar Hasan; Sibin Mohan (ISORC, 2023)

IOSPReD: I/O Specialized Packaging of Reduced Datasets and Data-Intensive Applications for Efficient Reproducibility. - Chaitra Niddodi; Ashish Gehani; Tanu Malik; Sibin Mohan; Michael Lee Rilee (IEEE Access, 2023)

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 (CoRR, 2023)

Pareto-Secure Machine Learning (PSML): Fingerprinting and Securing Inference Serving Systems. - Debopam Sanyal; Jui-Tse Hung; Manav Agrawal; Prahlad Jasti; Shahab Nikkhoo; Somesh Jha; Tianhao Wang 001; Sibin Mohan; Alexey Tumanov (CoRR, 2023)

TOPr: Enhanced Static Code Pruning for Fast and Precise Directed Fuzzing. - Chaitra Niddodi; Stefan Nagy; Darko Marinov; Sibin Mohan (CoRR, 2023)

SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors. - Jiyang Chen; Tomasz Kloda; Rohan Tabish; Ayoosh Bansal; Chien-Ying Chen; Bo Liu 044; Sibin Mohan; Marco Caccamo; Lui Sha (ACM Trans. Cyber Phys. Syst., 2023)

System Auditing for Real-Time Systems. - Ayoosh Bansal; Anant Kandikuppa; Monowar Hasan; Chien-Ying Chen; Adam Bates 001; Sibin Mohan (ACM Trans. Priv. Secur., 2023)

Requiem for a drone: a machine-learning based framework for stealthy attacks against unmanned autonomous vehicles. - Kyo Hyun Kim; Denizhan Kara; Vineetha Paruchuri; Sibin Mohan; Greg Kimberly; Jae Kim; Josh D. Eckhardt (CoRR, 2024)

SoK: Security in Real-Time Systems. - Monowar Hasan; Ashish Kashinath; Chien-Ying Chen; Sibin Mohan (ACM Comput. Surv., 2024)

Groundhog: A Restart-Based Systems Framework for Increasing Availability in Threshold Cryptosystems. - Ashish Kashinath; Disha Agarwala; Gabriel Kulp; Sourav Das; Sibin Mohan; Radha Venkatagiri (SP, 2025)

Physics-Based Fault Analysis for Commodity PIR Sensors. - Ashish Kashinath; Sibin Mohan; Akshay Uttama Nambi; Sumukh Marathe (ACM Trans. Sens. Networks, 2025)