Publications
International Journal and Conference
(*): corresponding author. underline text: our lab members. red text: selected publications
2024
[BK21-IF:3, acceptance rate: 23%] Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-M (to appear)
Jeonghwan Kang, Jaeyeol Park, Jiwon Seo, and Donghyun Kwon*
ACM/IEEE Design Automation Conference (DAC), Jun. 2024
[SCIE] MECAT: Memory-Safe Smart Contracts in ARM TrustZone [paper]
Seonghwan Park, Hayoung Kang, Sanghun Han, Jonghee M. Youn*, and Donghyun Kwon*
IEEE Access, Apr. 2024
[Conf] Just In Time Compilation Code Protection in WebAssembly
Suhyeon Song, Kazuteru Namba, and Donghyun Kwon*
Korea-Japan Joint Workshop on Complex Communication Sciences (KJCCS), Jan. 2024
2023
[SCIE] Enhancing ad Lock-and-key Scheme with MTE to Mitigate Use-After-Frees [paper]
Inyoung Bang, Martin Kayondo, Junseung Yu, Donghyun Kwon, Yeongpil Cho*, and Yunheung Paek*
IEEE Access, Dec. 2023
[SCIE] metaSafer: A Technique to Detect Heap Metadata Corruption in WebAssembly [paper]
Suhyeon Song, Seonghwan Park, and Donghyun Kwon*
IEEE Access, Oct. 2023
[SCIE-IF:7.231] ZOMETAG: Zone-based Memory Tagging for Fast, Deterministic Detection of Spatial Memory Violations on ARM [paper]
Jiwon Seo, Junseung You, Donghyun Kwon, Yeongpil Cho*, and Yunheung Paek*
IEEE Transactions on Information Forensics and Security (TIFS), Jul. 2023
[BK21-IF:1] SFITAG: Efficient Software Fault Isolation with Memory Tagging for ARM Kernal Extensions [paper]
Jiwon Seo, Junseung You, Yungi Cho, Yeongpil Cho, Donghyun Kwon*, and Yunheung Paek*
ACM Asia Conference on Computer and Communications Security (AsiaCCS), Jul. 2023
[SCIE] DEMIX: Domain-Enforced Memory Isolation for Embedded System [paper]
Haeyoung Kim, Harashta Tatimma Larasati, Jonguk Park, Howon Kim, and Donghyun Kwon*
MDPI Sensors, Mar. 2023
[Conf] A Study on Design and Challenges of ros2-fuzz
Jeonghwan Kang, Jaeyeol Park, Minseong Seo, Kazuteru Namba, and Donghyun Kwon*
Japan-Korea Joint Workshop on Complex Communication Sciences (JKCCS), Jan. 2023
2022
[SCIE] Efficient CFI Enforcement for Embedded Systems using ARM TrustZone-M [paper]
Gisu Yeo, Yeryeong Kim, Suhyeon Song, and Donghyun Kwon*
IEEE Access, Dec. 2022
[Conf] A Study on Instruction Set Architecture (ISA) Extensions for Software Security on RISC-V
Donghyun Kwon
International Conference for Multimedia Information Technology and Applications (MITA), Jul. 2022
[SCIE] Exploring effective uses of the tagged memory for reducing bounds checking overheads [paper]
Jiwon Seo, Inyoung Bang, Yungi Cho, Jangseop Shin, Dongil Hwang, Donghyun Kwon, Yeongpil Cho*, and Yunheung Paek*
The Journal of Supercomputing, Jul. 2022
[SCIE] Bratter: An Instruction Set Extension for Forward Control-Flow Integrity in RISC-V [paper]
Seonghwan Park, Dongwook Kang, Jeonghwan Kang, and Donghyun Kwon*
MDPI Sensors, Feb. 2022
2021
[SCIE] CoMeT: Configurable Tagged Memory Extension [paper]
Jinjae Lee, Derry Pratama, Minjae Kim, Howon Kim*, and Donghyun Kwon*
MDPI Sensors, Nov. 2021
[SCIE] A Hardware Platform for Ensuring OS Kernel Integrity on RISC-V [paper]
Donghyun Kwon, Dongil Hwang*, and Yunheung Paek*
MDPI Electronics, Aug. 2021
[Conf] Introduction to ARM TrustZone and its Use Cases
Donghyun Kwon
International Conference on Consumer Electronics Asia (ICCE-Asia), Oct. 2021
2020
[BK21-IF:3, acceptance rate: 24%] RIMI: Instruction-level Memory Isolation form Embedded Systems on RISC-V [paper]
Haeyoung Kim, Jinjae Lee, Derry Pratama, Asep Muhamad Awaludin, Howon Kim, Donghyun Kwon*
International Conference On Computer Aided Design (ICCAD), Dec. 2020
[SCIE-IF:3.822] PrOS: Light-weight Privatized Secure OSes in ARM TrustZone [paper]
Donghyun Kwon, Jiwon Seo, Yeongpil Cho, Byoungyoung Lee, Yunheung Paek
IEEE Transactions on Mobile Computing (TMC), Apr. 2020
2019
[BK21-IF:3, acceptance rate:18.9%] uXOM: Efficient eXecute-Only Memory on ARM Cortex-M [paper]
Donghyun Kwon, Jangseop Shin, Giyeol Kim, Byoungyoung Lee, Yeongpil Cho, Yunheung Paek
Usenix Security, Aug. 2019
[BK21-IF:2, acceptance rate: 24%] RiskiM: Toward Complete Kernel Protection with Hardware Support [paper]
Dongil Hwang, Myunghoon Yang, Seongil Jeon, Younghan Lee, Donghyun Kwon*, Yunheung Paek
Design, Automation and Test in Europe (DATE), May. 2019
[BK21-IF:2, acceptance rate: 17.1%] CRCount: Pointer Invalidation with Reference Counting on Mitigate Use-After-Free in Legacy C/C++ [paper]
Jangseop Shin, Donghyun Kwon, Jiwon Seo, Yeongpil Cho, Yunheung Paek
Network and Distributed System Security Symposium (NDSS), Feb. 2019
[SCIE-IF:1.714] Safe and Efficient Implementation of a Security System on ARM using Intra-Level Privilege Separation [paper]
Donghyun Kwon, Hayoon Yi, Yeongpil Cho, Yunheung Paek
ACM Transactions on Privacy and Security (TOPS), Feb. 2019
2018
[BK21-IF:3, acceptance rate: 24.3%] Hypernel: A Hardware-Assisted Framework for Kernel Protection without Nested Paging [paper]
Donghyun Kwon, Kuenwhee Oh, Junmo Park, Seungyong Yang, Yeongpil Cho, Brent Byunghoon Kang, Yunheung Paek
Design Automation Conference (DAC), Jun. 2018
[Conf] VM-CFI: Control-Flow Integrity for Virtual Machine Kernel Using Intel PT
Donghyun Kwon, Jiwon Seo, Sehyun Baek, Giyeol Kim, Sunwoo Ahn, Yunheung Paek
International Conference on Computational Science and Its Applications (ICCSA), Jul. 2018
2017
[BK21-IF:3, acceptance rate: 23.8%] Instruction-Level Data Isolation for the Kernel on ARM [paper]
Yeongpil Cho, Donghyun Kwon, Yunheung Paek
Design Automation Conference (DAC), Jun. 2017
[BK21-IF:2, acceptance rate: 16%] Dynamic Virtual Address Range Adjustment for Intra-Level Privilege Separation on ARM [paper]
Yeongpil Cho, Donghyun Kwon, Hayoon Yi, Yunheung Paek
Network and Distributed System Security Symposium (NDSS), Feb. 2017
2016
[SCIE-IF:2.101] Optimization Techniques to Enable Execution Offloading for 3D Video Games [paper]
Donghyun Kwon, Seungjun Yang, Yunheung Paek, Kwangman Ko
Multimedia Tools and Applications (MTAP), Jul. 2016
[BK21-IF:3, acceptance rate: 19%] Hardware-Assisted On-Demand Hypervisor Activation for Efficient Security Critical Code Execution on Mobile Devices [paper]
Yeongpil Cho, Jun-Bum Shin, Donghyun Kwon, MyungJoo Ham, Yuna Kim, Yunheung Paek
USENIX Annual Technical Conference (ATC), Jun. 2016
[SCIE-IF:2.349] Precise Execution Offloading for Applications with Dynamic Behavior in Mobile Cloud Computing [paper]
Yongin Kwon, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Yeongpil Cho, Yunheung Paek
Pervasive and Mobile Computing (PMC), Apr. 2016
2015
[SCIE-IF:2.456] Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices [paper]
Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek
IEEE Transactions on Mobile Computing (TMC), Dec. 2015
2014
[SCIE-IF:2.543] Techniques to Minimize State Transfer Costs for Dynamic Execution Offloading in Mobile Cloud Computing [paper]
Seungjun Yang, Donghyun Kwon, Hayoon Yi, Yeongpil Cho, Yongin Kwon, Yunheung Paek
IEEE Transactions on Mobile Computing (TMC), Feb. 2014
2013
[BK21-IF:3, acceptance rate: 14.2%] Mantis: Automatic Performance Prediction for Smartphone Applications [paper]
Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek
USENIX Annual Technical Conference (ATC), Jun. 2013
[BK21-IF:3, acceptance rate: 15.9%] Fast Dynamic Execution Offloading for Efficient Mobile Cloud Computing [paper]
Seungjun Yang, Yongin Kwon, Yeongpil Cho, Hayoon Yi, Donghyun Kwon, Jonghee Youn, Yunheung Paek
IEEE International Conference on Pervasive Computing and Communications (PerCom), Jun. 2013
Patents
2023
국내특허, 출원, 스마트 컨트랙트 제어 흐름 무결성 보장 방법 및 이를 수행하는 컴퓨팅 시스템
국내특허, 출원, 힙 메모리 내 메타데이터 변조 공격 탐지가 가능한 웹 어셈블리 코드를 실행하기 위한 가상 머신의 동작 방법 및 이를 포함하는 전자 장치
국내특허, 출원, 임베디드 시스템의 힙 메모리 공간 안전성을 보장하기 위한 방법 및 이를 이용하는 임베디드 시스템
국외특허(싱가포르), 등록, 코드 재사용 공격 탐지 장치 및 그 방법
국내특허, 등록, 웹 어셈블리에서의 간접호출 명령어 보호를 위한 장치 및 방법
2022
국외특허(PCT), 출원, 분기 태그 지정 확장을 위한 리스크 파이브 아키텍처 명령어 확장을 위한 장치 및 방법
국내특허, 출원, 임베디드 시스템의 무결성 보장 장치 및 방법
국내특허, 출원, 분기 태그 지정 확장을 위한 리스크 파이브 아키텍처 명령어 확장을 위한 장치 및 방법
2021
국내특허, 출원, 웹 어셈블리에서의 간접호출 명령어 보호를 위한 장치 및 방법
2020
국내특허, 등록, 커널 무결성 검증 장치 및 그 방법
국내특허, 등록, 중첩 페이징 없이 커널을 보호하는 방법 및 그 장치
국내특허, 등록, 명령어 레벨 데이터 격리 방법 및 장치
2019
국내특허, 출원, 메모리 관리 방법 및 그 장치
2018
국내특허, 등록, 코드 재사용 공격 탐지 장치 및 그 방법
국내특허, 출원, 가상 머신 커널의 수행 흐름 무결성 검증 방법 및 그 장치
Domestic Journal and Conference
2023
정보보호학회 동계 학술대회, 2023.12, 블록체인 보안 향상을 위한 하드웨어 특징 사용 사례 분석, 한상훈, 박성환, 권동현
정보보호학회 동계 학술대회, 2023.12, 웹 어셈블리의 샌드박스 런타임 소개 및 연구 동향, 강하영, 송수현, 권동현
정보보호학회 동계 학술대회, 2023.12, Volatility 프레임워크 출력 분석을 통한 메모리 포렌식 초기 작업의 자동화 방안, 신채원, 강정환, 권동현
정보처리학회 추계 학술대회, 2023.11, 컴파일러 퍼저에서 머신러닝의 적용에 대한 연구, 박재열, 박성환, 권동현
정보처리학회 추계 학술대회, 2023.11, 컴파일러 최적화 코드 분석 연구 조사, 한상훈, 강정환, 권동현
정보보호학회 영남지부 학술대회, 2023.10, Low-Code 소개 및 향후 연구 방향, 강하영, 송수현, 권동현
정보보호학회 영남지부 학술대회, 2023.10, 임베디드 시스템 보안을 위한 구획화 연구 동향, 강정환, 한상훈, 권동현
정보보호학회 하계 학술대회, 2023.06, RISC-V를 이용한 메모리 보호 기술 연구 동향, 박성환, 권동현
정보보호학회 하계 학술대회, 2023.06, WebAssembly binary mutation 도구들에 대한 비교 및 향후 발전 방향에 대한 고찰, 송수현, 권동현
정보처리학회 춘계 학술대회, 2023.05, 커버리지 기반 웹어셈블리 퍼저의 분류와 한계점, 강하영, 송수현, 권동현
정보처리학회 춘계 학술대회, 2023.05, 임베디드 시스템에서 Address Sanitizer의 한계, 박재열, 박성환, 권동현
정보처리학회 춘계 학술대회, 2023.05, Libclang을 활용한 ROS 2의 스레드 안전성 분석, 신채원, 강정환, 권동현
2022
정보보호학회 논문지, 2022.12, ROS 2의 이벤트 기반 런타임 모니터링을 활용한 실시간 공격 탐지 시스템, 강정환, 서민성, 박재열, 권동현
정보보호학회 논문지, 2022.12, TCST : 신뢰실행환경 내에서 스마트 컨트랙트의 제어 흐름 무결성 검증을 위한 기술, 박성환, 권동현
정보보호학회 영남지부 학술대회, 2022.10, 상태 저장 퍼저 구현에 대한 연구 동향, 박재열, 강정환, 권동현
정보보호학회 영남지부 학술대회, 2022.10, 웹어셈블리 메모리 취약점 분석 및 보안 메커니즘, 홍진욱, 송수현, 권동현
정보보호학회 논문지, 2022.06, TPMP : ARM TrustZone을 활용한 DNN 추론 과정의 기밀성 보장 기술, 송수현, 박성환, 권동현
정보보호학회 하계 학술대회, 2022.06, ROS 애플리케이션의 런타임 검증 연구 동향, 강정환, 박성환, 서민성, 권동현
정보보호학회 하계 학술대회, 2022.06, 신뢰실행환경을 활용한 블록체인 보안 기술에 대한 연구, 박성환, 송수현, 권동현
정보보호학회 하계 학술대회, 2022.06, 합성곱 신경망(CNN)에 대한 멤버십 추론 공격과 방어 기법에 관한 연구, 송수현, 강정환, 권동현
정보보호학회 하계 학술대회, 2022.06, 신뢰 실행 환경을 활용한 양방향 샌드박스 연구 동향, 여기수, 박재열, 권동현
2021
정보보호학회 영남지부 학술대회, 2021.09, 코드 재사용 공격 방어를 위한 제어 흐름 무결성 검증 기법 연구, 여기수, 권동현
정보보호학회 영남지부 학술대회, 2021.09, 무인 이동체에 대한 물리 계층 공격에 관한 연구, 강정환, 권동현
정보보호학회 영남지부 학술대회, 2021.09, 접근제어를 지원하는 Tagged Memory Extension 동향, 이진재, 데리 프라타마, 권동현, 김호원
정보보호학회 논문지, 2021.08, WACFI: 웹 어셈블리에서의 간접호출 명령어 보호를 위한 코드 계측 기술, 장윤수, 김영주, 권동현
정보처리학회 춘계 학술대회, 2021.05, 임베디드 기기용 프로세서의 아키텍처 보안 기능에 대한 연구, 박성환, 김영주, 권동현
정보처리학회 춘계 학술대회, 2021.05, 신뢰할 수 있는 수행 환경을 활용한 DNN 보안에 관한 연구 동향, 김영주, 강정환, 권동현
정보처리학회 춘계 학술대회, 2021.05, 블록체인을 적용한 VANET 의 위치 정보 보호에 대한 연구 동향, 강정환, 박성환, 권동현