Man-Ki Yoon

According to our database, Man-Ki Yoon authored at least 33 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

AccountNet: Accountable Data Propagation Using Verifiable Peer Shuffling.

Man-Ki Yoon

Proceedings of the 43rd IEEE International Conference on Distributed Computing Systems, 2023

2022

Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation.

Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, Jung-Eun Kim

Proc. ACM Program. Lang., 2022

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

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

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, 2021

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

Proc. ACM Program. Lang., 2020

Task-Aware Novelty Detection for Visual-based Deep Learning in Autonomous Systems.

Valerie Chen, Man-Ki Yoon, Zhong Shao

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

ABC: Abstract prediction Before Concreteness.

Jung-Eun Kim, Richard M. Bradford, Man-Ki Yoon, Zhong Shao

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Guest Editorial Special Issue on RRCPS: Reliable and Resilient Cyber-Physical Systems.

Kyungtae Kang, Insup Lee, Kai Liu, Man-Ki Yoon, Kyung-Joon Park

IEEE Internet Things J., 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

CoRR, 2019

ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems.

Man-Ki Yoon, Zhong Shao

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Novelty Detection via Network Saliency in Visual-Based Deep Learning.

Valerie Chen, Man-Ki Yoon, Zhong Shao

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2019

2017

Secure and dependable cyber-physical system architectures

Man-Ki Yoon

PhD thesis, 2017

Grouped Convolutional Neural Networks for Multivariate Time Series.

Subin Yi, Janghoon Ju, Man-Ki Yoon, Jaesik Choi

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

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 Second International Conference on Internet-of-Things Design and Implementation, 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 International Conference on Cyber-Physical Systems, 2017

2016

Integrating security constraints into fixed priority real-time schedulers.

Sibin Mohan, Man-Ki Yoon, Rodolfo Pellizzoni, Rakesh B. Bobba

Real Time Syst., 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 R. Perlman, Greg Arundale, Richard M. Bradford

Computer, 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 on Systems and Storage Conference, 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 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

PIFT: Predictive Information-Flow Tracking.

Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

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

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

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Memory heat map: anomaly detection in real-time embedded systems using memory behavior.

Man-Ki Yoon, Lui Sha, Sibin Mohan, Jaesik Choi

Proceedings of the 52nd Annual Design Automation Conference, 2015

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, 2014

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

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

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, 2013

Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling.

Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Lui Sha

Proceedings of the Design, Automation and Test in Europe, 2013

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

Proceedings of the Design, Automation and Test in Europe, 2013

2011

Optimizing Tunable WCET 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, 2011

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 Trans. Computers, 2010

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

Sensor Placement for 3-Coverage with Minimum Separation Requirements.

Jung-Eun Kim, Man-Ki Yoon, Junghee Han, Chang-Gun Lee

Proceedings of the Distributed Computing in Sensor Systems, 2008