컴퓨터 시스템 보안 연구실(Computer System Security Lab., CSS Lab)은 네트워킹을 수행하는 안전한 컴퓨터 시스템을 위한 보안 연구를 수행합니다.
- Security by Design: 네트워크 아키텍쳐 혹은 프로토콜에 대해 보안을 중요 요구사항으로 두고 설계하고 개발합니다.
- Formal Verification: 네트워크 아키텍쳐 혹은 프로토콜에 대한 명세서 혹은 구현물을 대상으로 정형 검증/보안성 검토 혹은 퍼징/보안 테스팅을 수행하여 취약점을 분석합니다.
- AI Security: AI를 활용한 보안 시스템과 이 AI 시스템에 대한 보안을 통합적으로 설계 및 개발합니다.
=> 연구된 결과물을 에너지 도메인에 적용 및 실증합니다.

Computer System Security Lab. (CSS Lab) focuses on security issues of computer systems:
- Security by Design: we design and implement a network architecture or a network protocol in diverse domains, considering security as a key factor.
- Formal Verification: we analyze security of specifications and implementations of a network architecture or a network protocol.
- AI Security: we leverages AI techniques for security to build an AI security system, and secure the system.

각종 에너지 및 보안 관련 대학/연구소 등으로 진출할 수 있습니다.

석/박사 학생, 혹은 박사후 연구원에 관심이 있으신 분은 본인 CV를 첨부하여 제가 메일(hwlee@kentech.ac.kr) 보내주시길 바랍니다.
학부생 연구원으로 지원하시고 싶으신 분은 메일로 문의 바랍니다(CV 불필요).

Please send me an email with your CV if you want to join our group as a Master/Ph D. student or a postdoc.
If you want to do an undergraduate internship, please send me an email (no need of CV).

- 등록금 전액 장학금
- 인건비 석사 월130만원, 박사 월160만원 지급
- 생활비 월30만원 추가 지급
- 재학 기간 중 해외 인턴 기회
- 최신 사양 GPU서버 할당
- 200만원 상당 노트북 지급
- 자율출퇴근