-
ASE
Safe Multi-Site Binary Instrumentation of Running x86-64 Programs.
Jihun Baek, Sanghoon Han, and Hyungon Moon.
International Conference on Automated Software Engineering (ASE).
(Accepted).
Vulnerability RepairSoftware EngineeringSoftware Security
-
ICS
FaaSlim: Partial Caching of Snapshot-based VMs for Serverless Computing.
Sanghyeon Eom, Chanyoung Park, Gihong Lee, Hyungon Moon, and Young-ri Choi.
International Conference on Supercomputing (ICS).
Operating SystemsCloud Computing
-
ICSE
Rethinking the Capability of Fine-Tuned Language Models for Automated Vulnerability Repair.
Woorim Han, Yeongjun Kwak, Miseon Yu, Kyeongmin Kim, Younghan Lee, Hyungon Moon, and Yunheung Paek.
International Conference on Software Engineering (ICSE).
Machine LearningAutomated Vulnerability RepairSoftware Engineering
-
ASPLOS
HEPIC: Private Inference over Homomorphic Encryption with Client Intervention.
Kevin Nam, Youyeon Joo, Seungjin Ha, Hyungon Moon, and Yunheung Paek.
Architectural Support for Programming Languages and Operating Systems (ASPLOS).
Homomorphic EncryptionOperating SystemsPrivacy
-
ESORICS
Identifying Potential Timing Leakages from Hardware Design with Precondition Synthesis.
Minu Chung and Hyungon Moon.
European Symposium on Research in Computer Security (ESORICS).
Hardware SecurityModel CheckingProgramming Languages
-
Security
LOHEN: Layer-wise Optimizations for Neural Network Inferences over Encrypted Data with high Performance or Accuracy.
Kevin Nam, Youyeon Joo, Dongju Lee, Seungjin Ha, Hyunyoung Oh, Hyungon Moon, and Yunheung Paek.
USENIX Security Symposium (Security).
Homomorphic EncryptionPrivacyCrypto
-
SP
Defeating Use-After-Free Bugs Using Memory Sweeper Without Stop-the-World.
Junho Ahn, KangHyuk Lee, Chanyoung Park, Hyungon Moon, and Youngjin Kwon.
IEEE Symposium on Security and Privacy (SP).
Software SecurityOS
-
TDSC
Efficient Use-After-Free Prevention with Pooling, OS-assisted, and Opportunistic Page-Level Sweeping.
Chanyoung Park, Yeongjun Kwak, and Hyungon Moon.
IEEE Transactions on Dependable and Secure Computing (TDSC).
Software SecurityOS
-
FAST
Selective On-Device Execution of Data-Dependent Read I/Os.
Chanyoung Park, Minu Chung, and Hyungon Moon.
USENIX Conference on File and Storage Technologies (FAST).
OSStorage
-
KVSEV: A Secure In-Memory Key-Value Store with Secure Encrypted Virtualization.
Junseung You, Kyeongryong Lee, Hyungon Moon, Yeongpil Cho, and Yunheung Paek.
ACM Symposium on Cloud Computing (SoCC).
Confidential ComputingOSCloud
-
Hyperdimensional Computing as a Rescue for Efficient Privacy-Preserving Machine Learning-as-a-Service.
Jaewoo Park, Chenghao Quan, Hyungon Moon, and Jongeun Lee.
International Conference on Computer-Aided Design (ICCAD).
Homomorphic EncryptionPrivacyCrypto
-
Protecting Kernel Code integrity with PMP on RISC-V.
Seon Ha and Hyungon Moon.
World Conference on Information Security Applications (WISA).
OS
-
TRust: A Compilation Framework for In-process Isolation to Protect Safe Rust against Untrusted Code.
Inyoung Bang, Martin Kayondo, Hyungon Moon, and Yunheung Paek.
USENIX Security Symposium (Security).
Software SecurityRustCompiler
-
Kernel Code Integrity Protection at the Physical Address Level on RISC-V.
Seon Ha, Minsang Yu, Hyungon Moon, and Jongeun Lee.
IEEE Access (Access).
OS SecurityOSArch
-
Ambassy: A Runtime Framework to Delegate Trusted Applications in an ARM/FPGA Hybrid System.
Dongil Hwang, Sanzhar Yeleuov, Jiwon Seo, Minu Chung, Hyungon Moon, and Yunheung Paek.
IEEE Transactions on Mobile Computing (TMC).
Confidential ComputingOSAccelerator
-
Accelerating N-bit Operations over TFHE on Commodity CPU-FPGA.
Kevin Nam, Hyunyoung Oh, Hyungon Moon, and Yunheung Paek.
International Conference on Computer-Aided Design (ICCAD).
Homomorphic EncryptionPrivacyAccelerator
-
Precise Extraction of Deep Learning Models via Side-Channel Attacks on Edge/Endpoint Devices.
Younghan Lee, Sohee Jun, Yungi Cho, Woorim Han, Hyungon Moon, and Yunheung Paek.
European Symposium on Research in Computer Security (ESORICS).
Machine Learning
-
XtenStore: Extensible Secure In-memory Key-Value Store on a Hybrid x86-FPGA System.
Hyunyoung Oh, Maja Malenko, Dongil Hwang, Myunghyun Cho, Hyungon Moon, Marcel Baunach, and Yunheung Paek.
Design, Automation \& Test in Europe (DATE).
Interactive Presentation.
Confidential ComputingCloudAccelerator
-
A Log-Structured Merge Tree-aware Message Authentication Scheme for Persistent Key-Value Stores.
Igjae Kim, J. Hyun Kim, Minu Chung, Hyungon Moon, and Sam H. Noh.
USENIX Conference on File and Storage Technologies (FAST).
OSStorageConfidential Computing
-
libmpk: Software Abstraction for Intel Memory Protection Keys (Intel MPK).
Soyeon Park, Sangho Lee, Wen Xu, Hyungon Moon, and Taesoo Kim.
USENIX Annual Technical Conference (ATC).
Software SecurityOS
-
Fuzzing File Systems via Two-Dimensional Input Space Exploration.
Wen Xu, Hyungon Moon, Sanidhya Kashyap, Po-Ning Tseng, and Taesoo Kim.
IEEE Symposium on Security and Privacy (SP).
Software SecurityOSTesting
-
KI-Mon ARM: A Hardware-assisted Event-triggered Monitoring Platform for Mutable Kernel Object.
Hojoon Lee, Hyungon Moon, Ingoo Heo, Daehee Jang, Jinsoo Jang, Kihwan Kim, Yunheung Paek, and Brent Byunghoon Kang.
IEEE Transactions on Dependable and Secure Computing (TDSC).
OS SecurityOSArch
- 2026 Fall
- Building Customized Computers (CSE302)
- 2025 Fall
- Building Customized Computers (CSE302)
- 2024 Spring
- Advanced Computer Architecture (CSE511)
- 2023 Fall
- Principles of Programming Languages (CSE271)
- 2023 Spring
- Advanced Operating Systems (CSE514)
- 2022 Fall
- Building Customized Computers (CSE302)
- 2022 Spring
- Software Hacking and Defense (UNI204)
- 2022 Spring
- Advanced Computer Architecture (CSE511)
- 2021 Fall
- Computer Architecture (CSE261)
- 2021 Fall
- Principles of Programming Languages (CSE271)
- 2021 Spring
- Advanced Computer Architecture (CSE511)
- 2020 Fall
- Advanced Computer Architecture (CSE511)
- 2020 Fall
- Principles of Programming Languages (CSE341)
- 2020 Spring
- Computer Security (CSE467)
- 2019 Fall
- Special Topics in CSE Ⅱ (Software and Systems Security) (CSE481)
- 2019 Spring
- Data Structures (CSE221)
- 2019 Spring
- System Programming (CSE251)
- 2018 Fall
- Special Topics in CSE Ⅱ (Computer Systems Security) (CSE481)