Publications
•
백소연 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