Abstract


암호학 입문
Aaram Yun (UNIST) /
암호학에 대한 사전 지식이 없는 학부생을 대상으로 하는 본 강의에서는, 전반적인 암호학의 기초를 설명한다. 역사적으로 쓰인 고전적인 암호의 예를 들고, 이후 20세기에 들어서 현대 암호학이 어떤 방향으로 발전했는지, 그리고 특히 '증명가능한 안전성', 즉, 암호학에서 어떻게 암호학적 구성의 안전성을 정의하고 이를 엄밀한 방법으로 논하는지에 대해 구체적인 예들을 통해 살펴보도록 한다.

공개키 암호
Kyung-Ah Shim (NIMS) /
In this lecture, we provide an overview of public-key Cryptographic primitives based on Integer Factorization problem, Discrete Logarithm problem and Multivariate Quadratic equations.

타원곡선이론
Young-Ho Park (Sejong Cyber University) /
본 강의에서는 최근 스마트카드, 모바일 또는 스마트 기기에서 많이 사용되는 타원곡선암호(ECC)에 대해 수학적 기반부터 알고리즘 구현까지 다양한 관점에서 살펴본다. 강의 내용으로 타원곡선암호소개, 타원곡선의 정의와 연산, 타원곡선 이산대수문제, ECC 파라미터, ECC 알고리즘 구현, ECC 공격방법 등 타원곡선 암호 전반에 대해 살펴본다.

블록 암호 설계 및 분석
Jooyoung Lee (Sejong University) /
본 강연에서는 블록 암호를 중심으로 비밀키 암호의 설계 원리를 설명한다. 특히, 블록 암호 DES와 AES의 설계 원리를 살펴보고, triple-DES 등 키 길이를 확장하는 방식도 다루도록 한다. 또한 가장 단순한 형태의 블록 암호를 만들고자 하는 시도로서 제안된 Even-Mansour 방식과 이에 대한 다양한 공격도 살펴본다.

암호프로토콜의 이해
Jung Yeon Hwang (ETRI) /
암호프로토콜(cryptographic protocol)은 기밀성, 인증, 무결성, 부인방지, 프라이버시 등 암호보안 문제를 해결하기 위해 단계 또는 절차들을 정의한 프로토콜(protocol)이다. 본 세미나에서는 다양한 암호 프로토콜의 동작 방식과 원리를 소개한다. 키 합의 방법, 영지식 증명 기법, 다양한 전자서명 등 주요 암호 프로토콜들을 구체적으로 살펴본다. 그리고 현재 이슈가 되는 암호프로토콜의 연구동향에 대해서도 간단히 살펴본다.

암호계산을 위한 SAGE 기초 및 연습
Moon Sung Lee (Seoul National University) /
RSA와 ECC 등의 공개키 암호의 구현 및 분석을 위해서는 라이브러리의 사용이 필수적이다. 이 시간에는 open-source mathematics software인 Sage를 이용하여 기초적인 암호계산을 하는 방법을 살펴본다. (http://www.sagemath.org/ 참고)

완전동형암호의 이론과 응용
Jung Hee Cheon (Seoul National University) /
완전동형암호는 암호화된 상태에서 모든 계산을 지원하는 이상적인 암호로서 암호학계의 성배(holy grail)로 불리며 오랫동안 미해결 문제로 알려져 있었다. 2009년 Gentry에 의해 처음만들어진 암호는 구현이 거의 불가능할 정도로 복잡하였으나 이후 많은 연구를 통해 실용 가능한 스킴들이 제시되고 있다. 완전동형암호는 클라우드 컴퓨팅에 꼭 필요한 암호기술로서 2011년 MIT Technical Review에서 10대 미래기술(Emerging Technology)로도 선정이 되는 등 IT전반에 큰 이슈가 되고 있다. 본 강연에서는 완전동형암호에 관한 최근 연구 결과들을 소개하고 이의 응용들을 살펴본다. 특히 데이터베이스에서의 암호화된 연산, 개인정보유출이 없는 통계 데이터 추출, 암호화된 탐색등에서의 응용들을 소개한다.

양자암호 소개
Soojoon Lee (Kyung Hee University) /
이 강연에서는, 먼저 양자 정보와 디지털 정보와의 차이점에 대해 소개하고, 그에 따른 양자 암호의 기본 원리 및 기본적인 안전성 증명을 설명한다. 이와 함께 양자 암호의 장점 및 단점에 대해 논의한다.

표준모델에서 안전한 전자서명
Jae Hong Seo (Myongji University) /
본 강연에서는 표준모델에서 안전한 전자서명을 디자인하는 기법들에 대해서 소개한다. 표준모델에서 안전한 전자서명을 만드는 방법은 크게 두 가지로 분류할 수 있다. RSA나 DH 가정과 같이 오랜 기간 동안 분석을 통해 어렵다고 알려진 정수론 문제에 안전성을 기반하도록 전자서명을 만드는 방법과 상대적으로 근래에 제안이 되었고 RSA나 DH 보다는 쉽다고 예상되는 문제에 안전성을 기반하는 전자서명을 만드는 방법이 있다. 대체로, 전자의 방법은 안전성 측면에서 장점을 가지고 후자의 방법은 효율성 측면에서 장점을 가진다. 최근에는 RSA나 DH 등의 어려움에 안전성을 기반하면서도 효율성이 향상된 전자서명을 만들려는 시도들이 있다. 본 강연에서는 이러한 시도들을 중점적으로 다루고자한다.