default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMan-Ki Yoon
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c21]Man-Ki Yoon:
AccountNet: Accountable Data Propagation Using Verifiable Peer Shuffling. ICDCS 2023: 48-61- 2022
- [j7]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): 60-88 (2022) - [c20]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: 453-465 - 2021
- [c19]Man-Ki Yoon, Mengqi Liu, Hao Chen, Jung-Eun Kim, Zhong Shao:
Blinder: Partition-Oblivious Hierarchical Scheduling. USENIX Security Symposium 2021: 2417-2434 - 2020
- [j6]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): 20:1-20:31 (2020) - [c18]Jung-Eun Kim, Richard M. Bradford, Man-Ki Yoon, Zhong Shao:
ABC: Abstract prediction Before Concreteness. DATE 2020: 1103-1108 - [c17]Valerie Chen, Man-Ki Yoon, Zhong Shao:
Task-Aware Novelty Detection for Visual-based Deep Learning in Autonomous Systems. ICRA 2020: 11060-11066
2010 – 2019
- 2019
- [j5]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): 6271-6275 (2019) - [c16]Valerie Chen, Man-Ki Yoon, Zhong Shao:
Novelty Detection via Network Saliency in Visual-Based Deep Learning. DSN Workshops 2019: 52-57 - [c15]Man-Ki Yoon, Zhong Shao:
ADLP: Accountable Data Logging Protocol for Publish-Subscribe Communication Systems. ICDCS 2019: 1149-1160 - [i5]Valerie Chen, Man-Ki Yoon, Zhong Shao:
Novelty Detection via Network Saliency in Visual-based Deep Learning. CoRR abs/1906.03685 (2019) - [i4]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 abs/1911.07726 (2019) - 2017
- [b1]Man-Ki Yoon:
Secure and dependable cyber-physical system architectures. University of Illinois Urbana-Champaign, USA, 2017 - [c14]Man-Ki Yoon, Bo Liu, Naira Hovakimyan, Lui Sha:
VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems. ICCPS 2017: 143-154 - [c13]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: 191-196 - [i3]Subin Yi, Janghoon Ju, Man-Ki Yoon, Jaesik Choi:
Grouped Convolutional Neural Networks for Multivariate Time Series. CoRR abs/1703.09938 (2017) - [i2]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 abs/1705.02561 (2017) - 2016
- [j4]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): 69-77 (2016) - [j3]Sibin Mohan, Man-Ki Yoon, Rodolfo Pellizzoni, Rakesh B. Bobba:
Integrating security constraints into fixed priority real-time schedulers. Real Time Syst. 52(5): 644-674 (2016) - [c12]Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu:
PIFT: Predictive Information-Flow Tracking. ASPLOS 2016: 713-725 - [c11]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: 111-122 - [c10]Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan:
The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. SYSTOR 2016: 1:1-1:12 - 2015
- [c9]Man-Ki Yoon, Lui Sha, Sibin Mohan, Jaesik Choi:
Memory heat map: anomaly detection in real-time embedded systems using memory behavior. DAC 2015: 35:1-35:6 - [c8]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: 271-282 - [i1]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 abs/1501.05963 (2015) - 2014
- [c7]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: 321-331 - [c6]Sibin Mohan, Man-Ki Yoon, Rodolfo Pellizzoni, Rakesh Bobba:
Real-Time Systems Security through Scheduler Constraints. ECRTS 2014: 129-140 - 2013
- [c5]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: 970-975 - [c4]Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Lui Sha:
Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling. DATE 2013: 1313-1318 - [c3]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: 21-32 - 2011
- [c2]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: 227-238 - 2010
- [j2]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): 933-942 (2010)
2000 – 2009
- 2008
- [j1]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): 795-808 (2008) - [c1]Jung-Eun Kim, Man-Ki Yoon, Junghee Han, Chang-Gun Lee:
Sensor Placement for 3-Coverage with Minimum Separation Requirements. DCOSS 2008: 266-281
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-30 21:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
