Sensor Placement for 3-Coverage with Minimum Separation Requirements. - Jung-Eun Kim; Man-Ki Yoon; Junghee Han; Chang-Gun Lee (DCOSS, 2008)

A Real-Time Ubiquitous System for Assisted Living: Combined Scheduling of Sensing and Communication for Real-Time Tracking. - Min-Young Nam; Mhd. Zaher Al-Sabbagh; Jung-Eun Kim; Man-Ki Yoon; Chang-Gun Lee; Eun Yong Ha (IEEE Trans. Computers, 2008)

Migrating from Per-Job Analysis to Per-Resource Analysis for Tighter Bounds of End-to-End Response Times. - Man-Ki Yoon; Chang-Gun Lee; Junghee Han (IEEE Trans. Computers, 2010)

Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems. - Man-Ki Yoon; Jung-Eun Kim; Lui Sha (RTSS, 2011)

Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems. - Jung-Eun Kim; Man-Ki Yoon; Sungjin Im; Richard M. Bradford; Lui Sha (DATE, 2013)

Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling. - Man-Ki Yoon; Jung-Eun Kim; Richard M. Bradford; Lui Sha (DATE, 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)

Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems. - Jung-Eun Kim; Man-Ki Yoon; Richard M. Bradford; Lui Sha (COMPSAC, 2014)

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

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)

PIFT: Predictive Information-Flow Tracking. - Man-Ki Yoon; Negin Salajegheh; Yin Chen 002; Mihai Christodorescu (ASPLOS, 2016)

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)

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

Real-Time Computing on Multicore Processors. - Lui Sha; Marco Caccamo; Renato Mancuso 001; Jung-Eun Kim; Man-Ki Yoon; Rodolfo Pellizzoni; Heechul Yun; Russell Kegley; Dennis R. Perlman; Greg Arundale; Richard M. Bradford (Computer, 2016)

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

VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems. - Man-Ki Yoon; Bo Liu 044; Naira Hovakimyan; Lui Sha (ICCPS, 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)

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)

Grouped Convolutional Neural Networks for Multivariate Time Series. - Subin Yi; Janghoon Ju; Man-Ki Yoon; Jaesik Choi (CoRR, 2017)

Secure and dependable cyber-physical system architectures - Man-Ki Yoon (2017)

Novelty Detection via Network Saliency in Visual-Based Deep Learning. - Valerie Chen; Man-Ki Yoon; Zhong Shao 001 (DSN Workshops, 2019)

ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems. - Man-Ki Yoon; Zhong Shao 001 (ICDCS, 2019)

TaskShuffler++: Real-Time Schedule Randomization for Reducing Worst-Case Vulnerability to Timing Inference Attacks. - Man-Ki Yoon; Jung-Eun Kim; Richard M. Bradford; Zhong Shao 001 (CoRR, 2019)

Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems. - Kyungtae Kang; Insup Lee 001; Kai Liu 001; Man-Ki Yoon; Kyung-Joon Park (IEEE Internet Things J., 2019)

ABC: Abstract prediction Before Concreteness. - Jung-Eun Kim; Richard M. Bradford; Man-Ki Yoon; Zhong Shao 001 (DATE, 2020)

Task-Aware Novelty Detection for Visual-based Deep Learning in Autonomous Systems. - Valerie Chen; Man-Ki Yoon; Zhong Shao 001 (ICRA, 2020)

Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation. - Mengqi Liu 001; Lionel Rieg; Zhong Shao 001; Ronghui Gu; David Costanzo; Jung-Eun Kim; Man-Ki Yoon (Proc. ACM Program. Lang., 2020)

Blinder: Partition-Oblivious Hierarchical Scheduling. - Man-Ki Yoon; Mengqi Liu 001; Hao Chen 023; Jung-Eun Kim; Zhong Shao 001 (USENIX Security Symposium, 2021)

TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions. - Man-Ki Yoon; Jung-Eun Kim; Richard M. Bradford; Zhong Shao 001 (DSN, 2022)

Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation. - Mengqi Liu 001; Zhong Shao 001; Hao Chen 023; Man-Ki Yoon; Jung-Eun Kim (Proc. ACM Program. Lang., 2022)

AccountNet: Accountable Data Propagation Using Verifiable Peer Shuffling. - Man-Ki Yoon (ICDCS, 2023)

WhisperMQTT: Lightweight Secure Communication Scheme for Subscription-Heavy MQTT Network. - Youbin Kim; Man-Ki Yoon (TrustCom, 2024)

AdaptAV: Continuous Adaption of Vision Models for Autonomous Vehicles Using Cloud-based Oracle. - Yuheng Zhu; Dhruva Ungrupulithaya; Boluo Ge; Man-Ki Yoon (VTC Fall, 2024)