본 연구실은 암호학의 다양한 주제를 주로 증명 가능한 안전성의 관점에서 연구한다. 기존 설계된 암호 알고리즘의 안전성을 분석하고, 한편으로 증명 가능한 안전성과 효율성을 동시에 제공하는 암호 알고리즘 및 프로토콜을 설계한다. 최근에는 화이트박스 암호, 동형암호-대칭키 암호 하이브리드 구조, 대칭키 암호 기반 양자 내성 암호 등을 연구하고 있다.

비밀키 암호 안전성 증명
-블록 암호 구조 및 키 확장 방식의 안전성 증명
-블록 암호/치환 함수 기반 해시 함수 및 운용 모드의 설계와 안전성 증명

양자 내성 암호 연구
- 화이트 박스 암호 설계 및 분석
- 대칭키 암호 기반 양자 내성 암호 알고리즘 설계 및 안전성 분석
- 동형암호-대칭키 암호 하이브리드 구조 및 동형암호 친화적인 대칭키 암호 알고리즘 설계