Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jaeyeol Park

dblp:271/2605 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
3since 2021 · last 2026
0009-0000-9653-4522ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 2 · 2 since 2021Security and privacy · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
1 paper
Systems and software security · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security › memory safety
bounds checking
0.812024
Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-M · DAC 2024
Systems and software security › memory safety
heap security
0.812024
Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-M · DAC 2024
Systems and software security
memory safety
0.812024
Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-M · DAC 2024
Embedded and real-time systems › embedded system security
firmware security
0.212024
Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-M · DAC 2024

Methods — techniques the papers use, named apart from their topics

fat pointer · 1.5TT instructions · 1.5
YearPublicationVenuePosition
2026 TzPy: Python Runtime for Edge Code Deployment on TrustZone
abstract
As edge devices continue to improve in performance, their role is expanding in real-world environments such as smart factories and smart homes, where executing server-provided code on edge devices is essential for real-time processing and operational flexibility. However, edge code deployment introduces several security challenges, including the exposure of sensitive data and operations to runtime attacks, the absence of remote attestation mechanisms to validate code integrity and execution correctness, and insufficient access control for sensitive peripherals. Existing solutions address only a subset of these challenges and therefore fail to provide comprehensive security guarantees for edge devices. In this article, we present TzPy , a Python runtime designed for secure edge code deployment on ARM TrustZone. TzPy enables the execution of Python code entirely within the secure world. In addition, we design a remote attestation mechanism that verifies both the static integrity of deployed Python code and its runtime control flow through control-flow tracing. Furthermore, TzPy enforces a manifest-driven, fine-grained peripheral access control mechanism to prevent unauthorised or unintended access to sensitive devices. We evaluate TzPy on a Raspberry Pi 3B+ using a smart farm workload and a blinky application, and the results show an end-to-end overhead of 13.4%.
Suhyeon Song, Jaeyeol Park, Chaewon Shin, Donghyun Kwon
ACM Trans. Embed. Comput. Syst.2
2025 SMORE: Practical Redzone-Based Stack Memory Error Detection Mechanism for Embedded Systems
abstract
Stack memory errors, such as buffer overflows and over-reads, remain a critical attack vector in embedded systems, which rely heavily on stack memory due to their constrained resources and real-time requirements. Although conventional stack canary techniques have been widely adopted as a lightweight solution, they suffer from several limitations, including limited detection coverage, delayed error reporting, and inability to detect illegal reads. In this paper, we present SMORE, a practical stack memory error detection mechanism designed for ARMv8-M-based embedded systems. SMORE leverages the Memory Protection Unit to implement a hardware-assisted redzone, enabling immediate detection of both read and write violations at runtime. SMORE manages redzones efficiently at function boundaries using the Test Target instructions, minimizing performance impact. We evaluate SMORE on a real embedded platform, the Nucleo-L552ZE-Q running RIOT-OS, and show that it provides significantly improved detection coverage over stack canary while maintaining low performance overhead. These results demonstrate that SMORE provides a practical and effective solution for improving stack memory error detection in embedded software.
Jaeyeol Park, Yunju Gu, Donghyun Kwon
ACSAC1
2024 Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-M
abstract
Numerous embedded systems utilize firmware written in memory-unsafe C/C++. So, the firmware may exhibit spatial memory vulnerabilities, such as buffer overflows, which, if exploited by an attacker, can lead to various software attacks. While several studies have proposed defenses against these memory vulnerabilities, they often introduce significant performance and memory overhead or are impractical for application in embedded systems. In this paper, we introduce micro-fat pointer, a novel solution for heap memory safety for embedded systems. Notably, micro-fat pointer leverages TT instructions newly introduced in ARMv8-M to implement an efficient bounds-checking mechanism. Our evaluation results demonstrate that micro-fat pointer exhibits a 41% performance improvement compared to the existing state-of-the-art heap memory safety solution.
Jeonghwan Kang, Jaeyeol Park, Donghyun Kwon
DAC2