Man-Ki Yoon

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 24

Top Topics

Intrusion Detection

Temporal Abstractions

Embedded Systems

Multicore Processors

Top Venues

Publications

Man-Ki Yoon
AccountNet: Accountable Data Propagation Using Verifiable Peer Shuffling. ICDCS (2023)
Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, Jung-Eun Kim
Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Zhong Shao
TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions. DSN (2022)
Man-Ki Yoon, Mengqi Liu, Hao Chen, Jung-Eun Kim, Zhong Shao
Blinder: Partition-Oblivious Hierarchical Scheduling. USENIX Security Symposium (2021)
Jung-Eun Kim, Richard M. Bradford, Man-Ki Yoon, Zhong Shao
ABC: Abstract prediction Before Concreteness. DATE (2020)
Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation. Proc. ACM Program. Lang. 4 (POPL) (2020)
Valerie Chen, Man-Ki Yoon, Zhong Shao
Task-Aware Novelty Detection for Visual-based Deep Learning in Autonomous Systems. ICRA (2020)
Valerie Chen, Man-Ki Yoon, Zhong Shao
Novelty Detection via Network Saliency in Visual-Based Deep Learning. DSN Workshops (2019)
Kyungtae Kang, Insup Lee, Kai Liu, Man-Ki Yoon, Kyung-Joon Park
Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems. IEEE Internet Things J. 6 (4) (2019)
Valerie Chen, Man-Ki Yoon, Zhong Shao
Novelty Detection via Network Saliency in Visual-based Deep Learning. CoRR (2019)
Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Zhong Shao
TaskShuffler++: Real-Time Schedule Randomization for Reducing Worst-Case Vulnerability to Timing Inference Attacks. CoRR (2019)
Man-Ki Yoon, Zhong Shao
ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems. ICDCS (2019)
Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha
Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System. IoTDI (2017)
Man-Ki Yoon, Bo Liu, Naira Hovakimyan, Lui Sha
VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems. ICCPS (2017)
Subin Yi, Janghoon Ju, Man-Ki Yoon, Jaesik Choi
Grouped Convolutional Neural Networks for Multivariate Time Series. CoRR (2017)
Chien-Ying Chen, AmirEmad Ghassami, Sibin Mohan, Negar Kiyavash, Rakesh B. Bobba, Rodolfo Pellizzoni, Man-Ki Yoon
A Reconnaissance Attack Mechanism for Fixed-Priority Real-Time Systems. CoRR (2017)
Sibin Mohan, Man-Ki Yoon, Rodolfo Pellizzoni, Rakesh B. Bobba
Integrating security constraints into fixed priority real-time schedulers. Real Time Syst. 52 (5) (2016)
Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan
The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. SYSTOR (2016)
Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu
PIFT: Predictive Information-Flow Tracking. ASPLOS (2016)
Man-Ki Yoon, Sibin Mohan, Chien-Ying Chen, Lui Sha
TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems. RTAS (2016)
Lui Sha, Marco Caccamo, Renato Mancuso, Jung-Eun Kim, Man-Ki Yoon, Rodolfo Pellizzoni, Heechul Yun, Russell Kegley, Dennis R. Perlman, Greg Arundale, Richard M. Bradford
Real-Time Computing on Multicore Processors. Computer 49 (9) (2016)
Rodolfo Pellizzoni, Neda Paryab, Man-Ki Yoon, Stanley Bak, Sibin Mohan, Rakesh Bobba
A generalized model for preventing information leakage in hard real-time systems. RTAS (2015)
Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha
Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems. CoRR (2015)
Man-Ki Yoon, Lui Sha, Sibin Mohan, Jaesik Choi
Memory heat map: anomaly detection in real-time embedded systems using memory behavior. DAC (2015)
Jung-Eun Kim, Man-Ki Yoon, Richard M. Bradford, Lui Sha
Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems. COMPSAC (2014)
Sibin Mohan, Man-Ki Yoon, Rodolfo Pellizzoni, Rakesh Bobba
Real-Time Systems Security through Scheduler Constraints. ECRTS (2014)
Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Lui Sha
Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling. DATE (2013)
Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Jung-Eun Kim, Lui Sha
SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Jung-Eun Kim, Man-Ki Yoon, Sungjin Im, Richard M. Bradford, Lui Sha
Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems. DATE (2013)
Man-Ki Yoon, Jung-Eun Kim, Lui Sha
Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems. RTSS (2011)
Man-Ki Yoon, Chang-Gun Lee, Junghee Han
Migrating from Per-Job Analysis to Per-Resource Analysis for Tighter Bounds of End-to-End Response Times. IEEE Trans. Computers 59 (7) (2010)
Jung-Eun Kim, Man-Ki Yoon, Junghee Han, Chang-Gun Lee
Sensor Placement for 3-Coverage with Minimum Separation Requirements. DCOSS (2008)
Min-Young Nam, Mhd. Zaher Al-Sabbagh, Jung-Eun Kim, Man-Ki Yoon, Chang-Gun Lee, Eun Yong Ha
A Real-Time Ubiquitous System for Assisted Living: Combined Scheduling of Sensing and Communication for Real-Time Tracking. IEEE Trans. Computers 57 (6) (2008)