암호 및 보안 공학 연구실 홈페이지 : https://sites.google.com/kookmin.ac.kr/cselab
▣ 암호 최적화 구현 연구 수행
• 임베디드 장치에서의 암호 연산 최적화 연구(8-bit AVR, 16-bit MSP430, 32-bit/64-bit ARM MCU)
• 암호연산에 대한 하드웨어 최적화 연구(FPGA, SW/HW Codesign)
• 병렬컴퓨팅 장치에서의 암호 연산 최적화 연구(SIMD, GPU)
• 메모리 사용량 최적화/상수시간 구현 연구
• 부채널 분석 대응방법 연구
• 블록암호,해시함수,양자내성암호 등 암호 알고리즘 연산 최적화 연구
▣ 암호 응용 연구 수행
• 효율적인 데이터 인증기법 연구
• 양자내성암호 보안프로토콜 마이그레이션 연구
• 프로토콜 정형 검증 및 시뮬레이션
• PKI및 네트워크 보안
▣ 암호모듈 검증
• 정형검증기반 구현정확성 검증기술(Cryptol, Easycrypt)
• Metamorphic Testing기반 검증 연구
• 암호모듈 시험 자동화 도구 개발
• 소프트웨어 및 하드웨어 암호모듈 개발