Demo Data from EDBT 2026 / reviewers in the wild / expert
Jaeyeol Park
dblp:271/2605
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Systems and software security › memory safety
bounds checking |
0.8 | 1 | 2024 | 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.8 | 1 | 2024 | Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-M · DAC 2024 |
Systems and software security
memory safety |
0.8 | 1 | 2024 | 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.2 | 1 | 2024 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | TzPy: Python Runtime for Edge Code Deployment on TrustZoneabstractAs 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 SystemsabstractStack 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 |
ACSAC | 1 |
| 2024 | Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-MabstractNumerous 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 |
DAC | 2 |