Cs-Cr
디피 헬만 프로토콜의 기호적 분석 혁신
MANET 이웃의 엄격한 친밀도 검증을 위한 통합 키 기반 방법
분산 시스템 로컬 보안 정책의 전역 검증 방법론
CPSA 실행 결과를 논리 문장으로 추출하여 보안 목표 검증
보안 채널 없이 다변량 다항식 안전 평가 방법
픽사스틱 스테가노그래피 기반 피싱 방지 브라우저 플러그인
수치 분해 기반 데이터 은닉 기법
YUV 색공간과 DWT2 기반 CDMA 디지털 이미지 워터마킹의 새로운 보안 및 견고성
분산 웹 환경 설정 취약점 탐지
비밀 입력 크기에 맞춘 정량적 정보 흐름 측정 개선
주변 환경 기반 키 생성 암호 시스템
그래프 기반 인증 프로토콜의 취약점 분석 및 개선 방안
일반화된 리즈넬 암호의 대칭성 및 대체군 연구
Sybil 공격 방지를 위한 기술 총정리
모바일을 위한 무선 공개키 기반구조
두 홉 무선 네트워크에서 릴레이 협력을 통한 보안·신뢰 전송 한계 분석
배치 쿼리 차등 개인정보 보호를 위한 저차원 근사 메커니즘
두 매체를 이용한 텍스트 스테가노그래피
다중 단계 블록 셔플링 기반 이미지 암호화 기법
무료파동을 이용한 음성통화 기반 검열 우회 시스템
스마트폰에서 직접 수행하는 바이트코드 계측으로 안드로이드 프라이버시 강화
상수 라운드 동시 영지식 증명, 지식 가정으로 실현
