Meta tags:
author=Sang Kil Cha;
keywords=SoftSec Lab,SoftSec,KAIST,소프트웨어 보안 연구실,소프트웨어보안 연구실,소프트웨어 보안,컴퓨터 보안,프로그램 분석,퍼징,악성코드 분석,리버스 엔지니어링,Sang Kil Cha,차상길,차상길 교수;
description=SoftSec Lab at KAIST (소프트웨어 보안 연구실) conducts research in software security, including binary analysis, malware analysis, fuzzing, and symbolic execution.;

Headings (most frequently used words):

in, paper, at, students, our, will, appear, is, as, lab, research, ph, received, kim, now, appointed, an, assistant, professor, university, korea, 2025, softsec, kaist, software, security, news, people, former, publications, contact, best, award, wisa, 2026, ndss, 27, soomin, ewha, womans, daeseok, joining, csrc, scientist, prof, cha, the, certificate, of, merit, academic, achievement, ccs, cbt, hyungseok, chungnam, national, cnu, master,

Text of the page (most frequently used words):
the (13), and (12), kim (11), lab (9), 2025 (9), student (8), #security (8), university (6), cha (6), our (6), 2026 (6), #softsec (5), korea (5), now (5), homepage (5), master (5), sang (5), kil (5), will (5), research (5), kaist (4), soomin (4), hyungseok (4), proceedings (4), paper (4), software (4), publications (3), ewha (3), womans (3), students (3), lee (3), park (3), professor (3), news (3), for (3), appear (3), conference (3), analysis (3), contact (2), profile (2), chungnam (2), national (2), jaeseung (2), choi (2), geonwoo (2), people (2), lead (2), cnu (2), appointed (2), assistant (2), sep (2), computer (2), academic (2), received (2), daeseok (2), joining (2), csrc (2), mar (2), aug (2), fuzzing (2), systems (2), techniques (2), copyright, all, rights, reserved, 2310, 291, daehak, yuseong, daejeon, 34141, south, you, may, access, complete, list, google, scholar, dblp, sogang, former, jinheon, dongwoo, zunnoor, awan, sehoon, steve, gustaman, jungwoo, junghyun, see, more, announcements, swsec, laboratory, jung, hyun, international, workshop, cryptocurrencies, blockchain, technology, evmpress, precise, type, inference, next, generation, evm, decompilation, cbt, josh, wiedemeier, simon, klancher, joel, flores, max, zheng, jaehyun, kangkook, jee, acm, communications, walking, last, mile, studying, decompiler, output, correction, practice, ccs, oct, recognition, contributions, enhancing, standing, field, cybersecurity, enhancement, certificate, merit, achievement, prof, dec, who, earned, his, degree, cyber, center, scientist, sweets, 2027, network, distributed, system, symposium, capture, flag, exploiting, compilation, flags, summon, trojan, horses, ndss, artifact, junhak, world, information, applications, llm, assisted, command, syntax, extraction, flight, best, award, wisa, engineer, that, are, secure, reliable, study, offensive, hacking, order, develop, defensive, mechanisms, analyze, programs, find, vulnerabilities, working, intersection, program, actively, developing, assuring, interests, include, binary, exploit, verification, malware, symbolic, execution, use, following, approaches, home, toggle, navigation, 소프트웨어, 연구실,

Text of the page (random words):
softsec lab at kaist 소프트웨어 보안 연구실 toggle navigation softsec lab home research news people publications contact softsec lab at kaist software security research lab working at the intersection of computer security and program analysis our lab is actively developing systems and techniques for assuring software security our research interests include binary analysis exploit verification malware analysis fuzzing and symbolic execution we use the following approaches we analyze programs to find vulnerabilities we study offensive hacking techniques in order to develop defensive mechanisms we engineer software systems that are secure and reliable news aug 2026 received best paper award in wisa 2026 llm assisted command syntax extraction for flight software fuzzing geonwoo park junhak lee and sang kil cha in proceedings of the world conference on information security applications 2026 artifact aug 2026 our paper will appear in ndss 27 capture the flag exploiting compilation flags to summon trojan horses hyungseok kim and sang kil cha in proceedings of the network and distributed system security symposium 2027 mar 2026 soomin kim is now appointed as an assistant professor at ewha womans university korea soomin will lead the sweets lab in ewha womans university mar 2026 daeseok is joining csrc as a research scientist daeseok kim who earned his master s degree in our lab is joining cyber security research center csrc at kaist dec 2025 prof cha received the certificate of merit in academic achievement cybersecurity enhancement conference korea in recognition of contributions to enhancing the academic standing of the security field in korea oct 2025 our paper will appear in ccs 2025 walking the last mile studying decompiler output correction in practice josh wiedemeier simon klancher joel flores max zheng jaehyun park sang kil cha and kangkook jee in proceedings of the 2025 acm conference on computer and communications security 2025 sep 2025 our paper will appear in cbt 2025 evmpress precise type inference for next generation evm decompilation jung hyun kim soomin kim jaeseung choi and sang kil cha in proceedings of the international workshop on cryptocurrencies and blockchain technology 2025 sep 2025 hyungseok kim is now appointed as an assistant professor at chungnam national university cnu korea hyungseok will lead the swsec laboratory in cnu see more softsec lab news and announcements people sang kil cha professor homepage ph d students junghyun kim ph d student homepage jungwoo lee ph d student homepage steve gustaman ph d student geonwoo park ph d student sehoon kim ph d student master students zunnoor awan master student dongwoo kim master student homepage jinheon lee master student homepage former ph d students jaeseung choi now at sogang university hyungseok kim now at chungnam national university soomin kim now at ewha womans university publications you may access a complete list of publications on dblp profile google scholar profile contact kaist n5 2310 291 daehak ro yuseong gu daejeon 34141 south korea copyright softsec lab all rights reserved