Soyeon Baek

Integrated MS & Ph.D. student

Chungnam National University

Publications

•
Soyeon Baek and Sungho Lee, Deobfuscation of Control Flow Flattening based on Abstract Interpretation, In IEEE Transactions on Software Engineering (TSE), To appear
•
백소연 and 이성호, NASA cFS 대상의 오픈소스 정적 분석 도구 적용 및 성능 분석, In 우주학술대회, June 2025
•
백소연 and 이성호, LLVM IR 대상 정적 분석의 요약 값 정제를 위한 조건 분기의 불변식 추출, In 정보과학회 컴퓨팅의 실제 논문지(KTCP), October 2024
•
Soyeon Baek and Sungho Lee, CaLLi: OCaml Library for Static Analysis of LLVM bitcode, In SoftwareX, September 2024
•
백소연 and 이성호, LLVM IR 대상 정적 분석의 요약 값 정제를 위한 조건 분기의 불변식 추출, In 정보과학회(KSC), December 2023 Distinguished Presentation Paper Award
•
이예성, 백소연, and 이성호, REcode: 프로그램 분석 도구를 쉽게 적용할 수 있는 VS Code 확장 플러그인, In 정보과학회(KSC) 학부생논문, December 2022
•
서성덕, 백소연, and 이성호, LLVM 기반의 최적화 기법을 통한 바이너리 역난독화, In 정보과학회(KSC) 학부생논문, December 2021

Honors

우수발표논문상

2024
한국정보과학회(KSC)