팀 운영 방식

양자 컴퓨팅 환경에서의 통신 보안을 위한 수학적 기반 연구를 수행합니다. 특히 양자 푸리에 변환(QFT)과 숨겨진 부분군 문제(Hidden Subgroup Problem)의 구조적 분석을 통해, 현행 공개키 암호 체계의 취약성과 양자-내성 암호 전환 전략에 대한 이론적 탐구를 진행하고 있습니다.

Rust no_std 환경에서 동작하는 초경량 보안 마이크로커널 iso-light-k0를 개발합니다. Capability 기반 접근 제어, 동기 IPC, MMU 수준의 W^X 정책, 가드 페이지 기반 스택 보호 등 최소 신뢰 원칙에 입각한 보안 기능을 설계하고 구현합니다.

고보안 필수 환경을 위한 무결성 보장 시스템을 설계합니다. Rust 기반의 네이티브를 활용하여 다양한 고전 및 PQC 알고리즘을 유연하며 안전하게 수용하는 강력한 폐쇄형 보안 TLS 서버 기능을 정의합니다.

경량형 및 폐쇄형 보안 인프라에서 적극적으로 활용 가능한 보안 취약점 분석 및 해결 방안 제시 목적의 AI 에이전트 모델을 만들어내기 위한 갖가지 연구를 수행합니다.

연구 방법론, 프로토콜 설계 결정 사항, 구현 인사이트를 논문 및 학술지 급의 전문적 서술로 문서화합니다. 재현 가능한 연구 환경을 구축하여 팀 내부의 지식 자산을 체계적으로 관리합니다.