Education

Georgia Institute of Technology

Ph.D. , Computer Science • 2017 — Present

Advisor : Prof. Taesoo Kim

Pohang University of Science and Technology (POSTECH)

B.S. , Computer Science & Engineering • 2013 — 2017

Graduated with top honor in Computer Science & Engineering at POSTECH in 2017.

Experience

Security Laboratory

National University of Singapore, Research Intership • Jan, 2017 — Jun, 2017

Implemented verifying module for resources in cloud service using LLVM pass and Intel SGX.

Compiler Research Laboratory

POSTECH, Undergraduate Research Assistant • Feb, 2016 — July, 2016

Implemented unified virtual memory space for unified IoT development platform using C++ and LLVM pass.

Publications

Fuzzing JavaScript Engines with Aspect-preserving Mutation

Soyeon Park, Wen Xu, Insu Yun, Daehee Jang, and Taesoo Kim, In Proceedings of the 41st IEEE Symposium on Security and Privacy (Oakland 2020)

libmpk: Software Abstraction for Intel Memory Protection Keys

Soyeon Park, Sangho Lee, Wen Xu, Hyungon Moon, and Taesoo Kim, In Proceedings of the 2019 USENIX Annual Technical Conference (ATC 2019)

VeriCount: Verifiable Resource Accounting Using Hardware and Software Isolation

Shruti Tople, Soyeon Park, Min Suk Kang and Prateek Saxena, In the 16th International Conference on Applied Cryptography and Network Security (ACNS 2018)

Heterogeneous Distributed Shared Memory for Lightweight Internet-of-Things Devices

Bongjun Kim, Seonyeong Heo, Gyeongmin Lee, Soyeon Park, Hanjun Kim, and Jong Kim, IEEE Micro, Volume 36, Number 6, Nov/Dec 2016.