Professor Hyunwoo LeeOffice: B-418, Bldg. 1, KENTECH, 21 Kentech-gilHomepage: https://hw5773.github.ioE-mail: hwlee@kentech.ac.kr Ph D. Students Hassan AsgharResearch on protocol verificationOffice: C-, Bldg. 1, KENTECHE-mail: hassanasghar@kentech.ac.kr Master Students Byungrok KimResearch on AI-based intrusion detection systemsOffice: C-, Bldg. 1, KENTECHE-mail: fried4chicken@kentech.ac.kr Undergraduate Interns Hakyoung SeongResearch on Post-quantum cryptographyE-mail: castlehk34@kentech.ac.kr Mingyu JeonResearch on Automated-evovling intrusion detection systemsE-mail: ignotude@kentech.ac.kr Seohyun KimResearch on Automated-evolving intrusion detection systemsE-mail: ken01kim@kentech.ac.kr Taejun ChoiResearch on AI-based intrusion detection systemsE-mail: wns7731@kentech.ac.kr Seohyeon ParkResearch on Automated-evolving intrusion detection systemsE-mail: parksh5295@kentech.ac.kr Seulgi HanResearch on verifying security of energy systemsE-mail: ab9938@kentech.ac.kr Soeun KimResearch on AI-based intrusion detection systemsE-mail: kssony@kentech.ac.kr Yoongeun ParkAnalysis of cyber threats on smart grid systemsE-mail: yonggamman@kentech.ac.kr Youngwook SeoResearch on secure edge computing platformsE-mail: argenteuslupus21123@kentech.ac.kr