Cs-Cr
서비스 기능 체인 보안 정책 검증을 위한 형식 모델
차등 프라이버시와 정보 흐름의 정량적 비교
동적 타르도스 트레이트 트레이싱 효율적인 협력자 추적 기법
안드로이드 무권한 원격 설치 공격
Tor에서 서비스 거부 공격의 효과와 탐지
네트워크 침입 탐지를 위한 인공지능 기법 종합 고찰
SDN 기반 양자키 분배 네트워크의 DDoS 완화 실험 시연
암호학을 위한 원시 피타고라스 삼중항 인덱싱 기법
양자 개인 정보 검색 서브선형 통신 복잡도 달성
이미지와 오디오 스테가노그래피를 위한 대체 기법 기반 메시지 은닉
클라우드 컴퓨팅은 스테가노그래피에 안전한가
정적과 비정적 양자 비트 커밋의 불가능성 재검토
조직 내 권한 변동과 대기열 모델 분석
키 충돌을 이용한 범용 암호 공격
스마트카드 기반 양‑왕‑창 인증 스킴의 취약점 분석
다중 사용자 인증을 위한 다대일 매핑 암호 프로토콜
이진 소수 역수와 카크 추측 검증 및 암호 응용
다섯 단계 일대이 옵시디언 전송 프로토콜 보안 및 효율 분석
배열 재구성을 통한 자바 소스 난독화 기법
스마트카드 기반 원격 사용자 인증의 치명적 취약점
이메일 보안을 위한 E‑넷 기반 암호화 시스템 설계와 구현
왕과 폰들의 비밀 공유 정보율 완전 해석
