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.


Samsung Research

Research Intern • Sep, 2021 — Apr, 2022

IBM Research

Research Intern • May, 2021 — July, 2021

Developing language model to generate function embedding based on data-flow with BERT


Security Engineering Intern • May, 2020 — July, 2020

Security assessment over network file system including developing fuzzer built on full system emulator.

National University of Singapore

Research Intern • Jan, 2017 — Jun, 2017

Developing a verification module for resources in cloud service using LLVM pass and Intel SGX.


Undergraduate Research Assistant • Feb, 2016 — July, 2016

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


A Look Back on a Function Identification Problem

Hyungjoon Koo, Soyeon Park, and Taesoo Kim, In Proceedings of the 2021 Annual Computer Security Applications Conference (ACSAC 2021)

Semantic-aware Binary Code Representation with BERT

Hyungjoon Koo, Soyeon Park, Daejin Choi and Taesoo Kim, arXiv preprint (2021)

Revisiting Function Identiļ¬cation with Machine Learning

Hyungjoon Koo, Soyeon Park, and Taesoo Kim, In the 2020 Workshop on Machine Learning for Program Analysis (MLPA 2020)

FREEDOM: Engineering a State-of-the-Art DOM Fuzzer

Wen Xu, Soyeon Park, and Taesoo Kim, In Proceedings of the 27th ACM Conference on Computer and Communications Security (CCS 2020)

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.