Tag research
'Deobfuscation of Control Flow Flattening based on...
The paper “Deobfuscation of Control Flow Flattening based on Abstract...
Minkyoung Jeong took 우수논문상 at KSC 2025!...
Minkyoung Jeong was honored with the Best Paper Award (우수논문상)...
Minkyoung Jeong took 학부생부문 최우수상 at KCC...
Minkyoung Jeong, a undergraduate student in our lab, took 학부생부문...
'CaLLi: OCaml Library for Static Analysis of...
The paper “CaLLi: OCaml Library for Static Analysis of LLVM...
Soyeon Baek took the best presentation paper...
Soyeon Baek, a master student in our lab, took the...
'Declarative Static Analysis for Multilingual Programs using...
The paper “Declarative Static Analysis for Multilingual Programs using CodeQL”...
'Static Analysis of JNI Programs via Binary...
The paper “Static Analysis of JNI Programs via Binary Decompilation”...
Two papers are accepted at KSC 2022!...
Two papers are accepted at KSC 2022 that will be...
'JUSTGen: Effective Test Generation for Unspecified JNI...
The paper “JUSTGen: Effective Test Generation for Unspecified JNI Behaviors...
Prof. Sungho Lee won ACM SIGSOFT Distinguished...
Prof. Sungho Lee received ACM SIGSOFT Distinguished Paper Award in...
Tag paper
'Deobfuscation of Control Flow Flattening based on...
The paper “Deobfuscation of Control Flow Flattening based on Abstract...
Minkyoung Jeong took 우수논문상 at KSC 2025!...
Minkyoung Jeong was honored with the Best Paper Award (우수논문상)...
Minkyoung Jeong took 학부생부문 최우수상 at KCC...
Minkyoung Jeong, a undergraduate student in our lab, took 학부생부문...
'CaLLi: OCaml Library for Static Analysis of...
The paper “CaLLi: OCaml Library for Static Analysis of LLVM...
Soyeon Baek took the best presentation paper...
Soyeon Baek, a master student in our lab, took the...
'Declarative Static Analysis for Multilingual Programs using...
The paper “Declarative Static Analysis for Multilingual Programs using CodeQL”...
'Static Analysis of JNI Programs via Binary...
The paper “Static Analysis of JNI Programs via Binary Decompilation”...
Two papers are accepted at KSC 2022!...
Two papers are accepted at KSC 2022 that will be...