Man-Ki Yoon
Research Scientist at Yale Computer Science
My research interests are in
- trustworthy computing for safety-critical autonomous systems (such as self-driving cars, unmanned aerial vehicles),
- embedded computing (cyber-physical systems, real-time computing, internet-of-things), and
- accountability/transparency of ML-enabled systems.
I received my Ph.D. degree in Computer Science from the University of Illinois at Urbana-Champaign and Bachelor’s degree in Computer Science and Engineering from Seoul National University.
I am joining NCSU as an assistant professor of Computer Science in Fall 2022. I will be looking for MS/PhD students who are interested in working on security problems of CPS and real-time embedded computing.
Grants/Awards
- SaTC: CORE: Small: Partition-Oblivious Real-Time Hierarchical Scheduling, National Science Foundation, 2020–2023
PI: Man-Ki Yoon; co-PIs: Jung-Eun Kim, Zhong Shao - Yale Course-based Undergraduate Research Experience (CURE) Grant, 2018–2021
- Qualcomm Roberto Padovani Scholarship 2014
- Intel PhD Fellowship 2014
- Qualcomm Innovation Fellowship 2013
Teaching
CPSC 235/EENG 245/CPSC 335
Self-Driving Cars: Theory and Practice
(SP 2019, SP 2020, SP 2021)
https://yalecpsc335.github.io/
Publications
[Journal/Conference Publications]
- [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 [video1][video2]
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 Publications]
- [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
IEEE Conference on Computer Communications Workshops, 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
Proceedings of the 1st ACM International Workshop on Medical-grade Wireless Networks, May 2009 - [KCC 2008] Optimal Sensor Placement method for Construction of Ubiquitous Sensing Infra
Jung-Eun Kim, Man-Ki Yoon, Junghee Han, Chang-Gun Lee, Eun Yong Ha
Proceedings of Korea Computer Congress, Jun. 2008
[Technical Reports, Patents]
- 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 - A Real-Time Ubiquitous System: Real-Time Indoor Tracking of Humans and Objects for Assisted Living
Min-Young Nam, Mhd Zaher Al-Sabbagh, Jung-Eun Kim, Man-Ki Yoon, Chang-Gun Lee, Eun Yong Ha
Technical Report, School of Computer Science and Engineering, Seoul National University, Aug. 2007
[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
Master’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
Bachelors Thesis, Seoul National University, Seoul, Korea, Feb. 2009