Man-Ki Yoon

Assistant Professor at NC State

I am an Assistant Professor in the Department of Computer Science at NC State University. My research interests are in trustworthy computing for cyber-physical systems (such as autonomous vehicles and unmanned aerial vehicles), real-time embedded computing, internet-of-things, and accountable computer systems. Prior to joining NC State, I was a research scientist in Computer Science at Yale University. I received my Ph.D. degree in Computer Science from the University of Illinois at Urbana-Champaign and my Bachelor’s degree in Computer Science and Engineering from Seoul National University in Korea.

web analytics

Available Positions

I am looking for PhD and MS students who are interested in working on the research areas listed above. NC State undergraduate students are also welcome to join for independent research. Please email me if you are interested. A preference is given to those who have shown (or are showing) good performance in my class.

Publications

Conference/Journal

[DSN 2022] TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions
Man-Ki Yoon, Jung-Eun Kim, Richard Bradford, Zhong Shao
Proceedings of the 52nd IEEE/IFIP International Conference on Dependable Systems and Networks, Jun. 2022

[Security 2021] Blinder: Partition-Oblivious Hierarchical Scheduling
Man-Ki Yoon, Mengqi Liu, Hao Chen, Jung-Eun Kim, Zhong Shao
Proceedings of the 30th USENIX Security Symposium, Aug. 2021

[ICRA 2020] Task-Aware Novelty Detection for Visual-based Deep Learning in Autonomous Systems
Valerie Chen, Man-Ki Yoon, Zhong Shao
Proceedings of the IEEE International Conference on Robotics and Automation, May 2020

[DATE 2020] ABC: Abstract prediction Before Concreteness
Jung-Eun Kim, Richard Bradford, Man-Ki Yoon, Zhong Shao
Proceedings of the 23rd ACM/IEEE Design, Automation, and Test in Europe, Mar. 2020

[POPL 2020] Virtual Timeline: A Formal Abstraction for Verifying Preemptive Schedulers with Temporal Isolation
Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon
Proceedings of the 47th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan. 2020

[ICDCS 2019] ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems
Man-Ki Yoon and Zhong Shao
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, Jul. 2019

[ICCPS 2017] VirtualDrone: Virtual Sensing, Actuation, and Communication for Attack-Resilient Unmanned Aerial Systems
Man-Ki Yoon, Bo Liu, Naira Hovakimyan, Lui Sha
Proceedings of the 8th ACM/IEEE International Conference on Cyber-Physical Systems, Apr. 2017

[IoTDI 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
Proceedings of the 2nd ACM/IEEE International Conference on Internet-of-Things Design and Implementation, Apr. 2017

[Computer 2016] Real-Time Computing on Multicore Processors
Lui Sha, Marco Caccamo, Renato Mancuso, Jung-Eun Kim, Man-Ki Yoon, Rodolfo Pellizzoni, Heechul Yun, Russell Kegley, Dennis Perlman, Greg Arundale, Richard Bradford
IEEE Computer, Vol. 49, no. 9, pp. 69-77, Sep. 2016

[Real-Time Syst 2016] Integrating Security Constraints Into Fixed Priority Real-Time Schedulers
Sibin Mohan, Man-Ki Yoon, Rodolfo Pellizzoni, Rakesh Bobba
Real-Time Syst, Vol. 52, no. 5, pp. 644-674, Sep. 2016

[SYSTOR 2016] The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection
Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan
Proceedings of the 9th ACM International Systems and Storage Conference, Jun. 2016

[ASPLOS 2016] PIFT: Predictive Information-Flow Tracking
Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu
Proceedings of the 21st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Apr. 2016

[RTAS 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
Proceedings of the 22nd IEEE Real-Time and Embedded Technology and Applications Symposium, Apr. 2016

[DAC 2015] Memory Heat Map: Anomaly Detection in Real-Time Embedded Systems Using Memory Behavior
Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Lui Sha
Proceedings of the 52nd ACM/EDAC/IEEE Design Automation Conference, Jun. 2015

[RTAS 2015] A Generalized Model for Preventing Information Leakage in Hard Real-Time Systems
Rodolfo Pellizzoni, Neda Paryab, Man-Ki Yoon, Stanley Bak, Sibin Mohan, and Rakesh Bobba
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, Apr. 2015

[COMPSAC 2014] Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems
Jung-Eun Kim, Man-Ki Yoon, Richard Bradford, Lui Sha
Proceedings of the 38th IEEE International Computers, Software, and Applications Conference, Jul. 2014

[ECRTS 2014] Real-Time Systems Security Through Scheduler Constraints
Sibin Mohan, Man-Ki Yoon, Rodolfo Pellizzoni, Rakesh Bobba
Proceedings of the 26th Euromicro Conference on Real-Time Systems, Jul. 2014

[RTAS 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
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr. 2013

[DATE 2013] Holistic Design Parameter Optimization of Multiple Periodic Resources in Hierarchical Scheduling
Man-Ki Yoon, Jung-Eun Kim, Richard Bradford, Lui Sha
Proceedings of the 16th ACM/IEEE Design, Automation, and Test in Europe, Mar. 2013

[DATE 2013] Optimized Scheduling of Multi-IMA Partitions with Exclusive Region for Synchronized Real-Time Multi-Core System
Jung-Eun Kim, Man-Ki Yoon, Sungjin Im, Richard Bradford, Lui Sha
Proceedings of the 16th ACM/IEEE Design, Automation, and Test in Europe, Mar. 2013

[RTSS 2011] Optimizing TunableWCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems
Man-Ki Yoon, Jung-Eun Kim, Lui Sha
Proceedings of the 32nd IEEE Real-Time Systems Symposium, Nov. 2011

[IEEE TC 2010] 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 Transactions on Computers, Vol. 59, no. 7, pp. 933-942, Jul. 2010

[DCOSS 2008] Sensor Placement for 3-Coverage with Minimum Separation Requirements
Jung-Eun Kim, Man-Ki Yoon, Junghee Han, Chang-Gun Lee
Proceedings of the 4th IEEE International Conference on Distributed Computing in Sensor Systems, Jun. 2008

[IEEE TC 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 Transactions on Computers, Vol. 57, no. 6, pp. 795-808, Jun. 2008

Workshop

[DSML 2019] Novelty Detection via Network Saliency in Visual-based Deep Learning
Valerie Chen, Man-Ki Yoon, Zhong Shao
Dependable and Secure Machine Learning Workshop co-located with IEEE DSN, Jun. 2019

[SENT 2014] Communication Pattern Monitoring: Improving the Utility of Anomaly Detection for Industrial Control Systems
Man-Ki Yoon, Gabriela F. Ciocarlie
NDSS Workshop on Security of Emerging Networking Technologies, Feb. 2014

[INFOCOM WKSHPS 2011] Scheduling and Control Co-design under End-to-end Response Time Constraints in Cyber-Physical Systems
Kyung-Joon Park, Man-Ki Yoon, Kyungtae Kang, Chang-Gun Lee
INFOCOM Workshop on Cyber-Physical Networking Systems, Jun. 2011

[WiMD 2009] End-to-End Delay Analysis of Wireless ECG over Cellular Networks
Man-Ki Yoon, Jung-Eun Kim, Kyungtae Kang, Kyung-Joon Park, Min-Young Nam, Lui Sha
ACM International Workshop on Medical-grade Wireless Networks, May 2009

Technical Report and Patent

Methods and systems for detecting fake user interactions with a mobile device for improved malware protection
Yin Chen, Man Ki Yoon, Vinay Sridhara
U.S. Patent No. 9,875,357, Jan. 2018

Grouped Convolutional Neural Networks for Multivariate Time Series
Subin Yi, Janghoon Ju, Man-Ki Yoon, Jaesik Choi
arXiv 1703.09938, Mar. 2017

Data flow tracking via memory monitoring
Man Ki Yoon, Mastooreh Salajegheh, Mihai Christodorescu, Yin Chen, Vinay Sridhara, Rajarshi Gupta
U.S. Patent No. 9,519,533, Dec. 2016

Geometric Programming Based Optimization of Multiple Periodic Resources in Hierarchical Scheduling
Man-Ki Yoon, Jung-Eun Kim, Richard Bradford, Lui Sha
Technical report, Department of Computer Science, University of Illinois at Urbana-Champaign, May 2012

Multi-IMA Partition Scheduling with Synchronized Solo-Partitions for Multi-Core Avionics Systems
Jung-Eun Kim, Man-Ki Yoon, Sungjin Im, Richard Bradford, Lui Sha
Technical report, Department of Computer Science, University of Illinois at Urbana-Champaign, May 2012

WCET-Aware Optimization of Shared Cache Partition and Bus Arbitration for Hard Real-Time Multicore Systems
Man-Ki Yoon, Jung-Eun Kim, Lui Sha
Technical report, Department of Computer Science, University of Illinois at Urbana-Champaign, May 2011

Thesis and Dissertation

Secure and Dependable Cyber-Physical System Architectures
Man-Ki Yoon
Ph.D. Dissertation, University of Illinois at Urbana-Champaign, Urbana, IL, May 2017

Tunable WCET for Hard Real-Time Multicore System
Man-Ki Yoon
M.S. Thesis, University of Illinois at Urbana-Champaign, Urbana, IL, May 2011

Migrating from Per-Job Analysis to Per-Resource Analysis for Tighter Bounds of End-to-End Response Times
Man-Ki Yoon
B.S. Thesis, Seoul National University, Seoul, Korea, Feb. 2009