Vulnerability analysis on OS protection mechanisms (e.g., KASLR) and countermeasures

Program vulnerability analyzing techniques 

Binary similarity analysis

Vulnerability analysis on CPU microarchitecture 

Machine learning-based detection techniques on CPU attacks (Meltdown, Spectre, Foreshadow, etc)

Software-based mitigation techniques using CFI and LLVM

Security analysis on TEE (Trusted Execution Environment) and countermeasures

Security on virtualization technologies for cloud computing

Confidential computing 

Zero trust architecture

Security on container (Docker and WebAssembly-based) 

Vulnerability analysis on network devices (e.g., router, switch and firewalls) firmware and countermeasure  

Static and dynamic binary analysis techniques for finding hidden backdoors implanted in network devices 

Security analysis on network protocols such as SSL/TLS, ESMTP, DNS/DNSSec 

안전한 클라우드 인프라를 위한 SmartNIC 하드웨어 취약성 분석 및 대응 기법 연구 (한국연구재단, '23.03 ~ )

무기체계 플랫폼에 적용 가능한 바이너리 기반 SW취약점 자동 탐지·분석 기술 개발 (과학기술정보통신부, '23.04 ~ )

사이버 타겟 침투 및 원격 무력화 기술 개발 (국방기술진흥연구소, '22.12 ~ )

병렬컴퓨팅 기반 비선형 암호알고리즘 고속구현기술 연구 (국방암호기술특화연구센터, '18.11 ~ )

네트워크 통신장비의 컨테이너 플랫폼 취약성 분석 연구 (국가보안기술연구소, '23.04 ~ '23.10)

안전한 클라우드 가상화 환경을 위한 CPU 취약점 대응기술 연구 (한국연구재단, '20.06 ~ '23.02)

컴퓨터 프로세서의 구조적 보안 취약점 검증 및 공격 탐지대응 기술 연구 (IITP, '19.04 ~ '22.12)

IoT 기반 이식-침습형 고위험 의료장치를 위한 능동형 킬 스위치 및 바이오 마커 활용 방어 시스템 개발 (IITP, '19.04 ~ '22.12)

프로세서의 메모리 암호화 엔진 분석 (암호포럼위탁연구, '22.07 ~ '22.11)

임베디드 시스템의 보안 부팅 취약점 분석에 관한 연구 (국가보안기술연구소, '22.04 ~ '22.10)

패킷 암호화 보안통신 프로토콜의 양자내성암호 적용 기술 연구 (국가보안기술연구소, '22.04 ~ '22.10)

F3 과제 (NIS, '21.04 ~ '21.12)

1군단 국방 실험사업 기반체계 모의해킹 연구 (한화시스템, '21.03 ~ '21.08)

네트워크 통신 프로토콜 MITM 공격 취약성 분석 연구 (국가보안기술연구소, '21.04 ~'21.10 )

가상 어플라이언스 네트워크 취약성 분석 연구 (국가보안기술연구소, '19.04 ~ '19.10)

TLS 1.3 암호통신 안전성 분석 및 구현 (암호연구회, '19.03 ~ '19.11)

암호데이터 중복제거기술 연구 (한국연구재단 신진연구, '17.03 ~ , '20.02)

x86 기반 네트워크 가상화 시스템 보안 취약성 분석 연구 (국가보안기술연구소, '18.04 ~ '18.11)

정형검증기반 암호구현 검증기술 연구 (National Security Research Institute, '18.04 ~ '18.11)

캐시 부채널 공격에 대한 암호 라이브러리 취약성 분석기술 연구 (암호연구회, '18.02 ~ '18.10)

클라우드 가상머신의 캐시 부채널 공격 대응기술 개발 (IITP, '17.03 ~ '17.12)

비정상 패킷 주입을 통한 네트워크 장비 안전성 검증기술에 관한연구 (국가보안기술연구소, '17.06 ~ '17.11)

라우터 가상화 플랫폼 기반 캐시부채널 공격기술에 관한연구 (국가보안기술연구소, '17.04 ~ '17.10)

병렬컴퓨팅 기반 비선형 암호알고리즘 고속구현기술 연구 (국방암호기술특화연구센터, '17.12 ~,'18.12)