Schedule


TimeSpeaker/ Title/ Abstract/ VODLocation
00:00 - 00:00
09:30 - 12:15 암호개론 - 권대성(NSR), 염용진(국민대)
Loading the live streaming player...
본 강연에서는 전반적인 암호개론을 소개한다. 고전 암호에서부터 현대 암호까지 암호 역사의 흐름을 살펴보고, 추후 강연에서 자세히 다루어질 현대 암호의 큰 두 부류인 비밀키 암호와 공개키 암호의 기초에 대해 알아본다. 대한민국 암호 정책에 대해 개략적인 소개를 하고, 마지막으로 스노든, 공인인증서 등 암호의 최근 이슈를 소개하는 것으로 강연을 마무리 한다.
CAMP
12:15 - 13:30 점심
CAMP
13:30 - 15:30 공개키암호 - 장남수(세종사이버대)
Loading the live streaming player...
본 강의에서는 현재 가장 많이 사용되는 공개키 암호인 RSA와 타원곡선암호(ECC)의 이론적 내용을 살펴본다. 또한 이론적 배경을 기반으로 실제 구현 시 고려되는 사항 및 효율성/암호분석 등에 대하여 살펴본다.
CAMP
15:30 - 16:00 휴식
CAMP
16:00 - 18:00 난수발생기 - 염용진(국민대)
Loading the live streaming player...
현대암호의 안전성을 보장하기 위해서는 이상적인 난수발생기의 활용이 필수적이다. 본 강의에서는 암호키, 소수, 논스(nonce) 생성에 사용되는 암호학적 난수를 생성하는 방법을 살펴보고, 안전하지 않은 난수가 초래하는 문제점과 취약성 발견 사례를 분석하고, 난수발생기가 가져야 할 조건을 알아본다. 난수발생기의 종류와 표준 모델의 이해를 바탕으로 암호모듈과 보안제품에 안전하게 적용하는 방법을 알아본다. 또한, 난수발생기의 안전성 평가를 위한 다양한 검증기술의 개발 및 표준화 현황도 조망해 본다.
CAMP
TimeSpeaker/ Title/ Abstract/ VODLocation
09:30 - 12:15 동형암호 - 천정희(서울대)
Loading the live streaming player...
본 강연에서는 최근 이슈가 되고 있는 동형암호와 이의 기반 문제인 격자기반 난제들의 연구 동향에 대해 소개한다. 완전동형암호는 암호화된 상태에서 모든 계산을 지원하는 이상적인 암호로서 암호학계의 성배(holy grail)로 불리며 1978년 이후 오랫동안 미해결 문제로 알려져 있었다. 2009년 Gentry에 의해 처음 만들어진 동형암호는 처음에는 구현이 거의 불가능할 정도로 복잡하였으나 이후 많은 연구를 통해 실용적인 단계에 들어서고 있다. 실제 최근 동형암호는 암복호화 속도가 공개키암호와 유사한 성능을 가진다. 본 강연에서는 이제까지 연구된 동형암호 스킴의 구현결과들과 생체인증, 헬쓰케어, DNA분석, Cyber Physical System 보안 등에서의 응용들을 소개한다. 현재 동형암호는 대부분 격자에서의 어려운 문제에 그 안전성을 기반한다. 본 강연에서는 격자이론과 LLL, BKZ, HNF 등 격자 상의 알고리즘을 소개하고 이를 이용하여 격자 상의 어려운 문제를 어떻게 푸는지 소개한다. 특히 Learning with Error (LWE)와 Approximate Greatest Common Divisors (AGCD) 문제를 BKZ를 이용하여 orthogonal lattice attack을 하는 방법을 소개한다.
CAMP
12:15 - 13:30 점심
CAMP
13:30 - 15:30 포스트 퀀텀 암호 - 심경아(NIMS)
Loading the live streaming player...
Shor가 소인수분해문제와 이산대수문제를 다항식 시간 안에 풀어주는 양자알고리즘을 제안함에 따라, 현재 사용하고 있는 공개키 암호 RSA와 ECC는 양자컴퓨터가 개발이 되면 모두 깨진다는 것이 알려져 있다. 양자컴퓨터 이 후 시대의 안전한 암호통신과 데이터 보호를 위한 대안으로 양자컴퓨터에 안전한 공개키 암호의 연구가 활발히 진행되고 있으며, 양자컴퓨터에 안전한 공개키 암호를 Post-Quantum Cryptography (PQ-PKC)라고 부른다. 이 강연에서는 다양한 PQ-PKC의 연구 현황과 특정 PQ-PKC의 설계와 안전성 분석방법을 소개한다.
CAMP
15:30 - 16:00 휴식
CAMP
16:00 - 18:00 공개키암호 Provable Security - 윤아람(UNIST)
Loading the live streaming player...
'증명가능한 안전성', 즉 provable security는 80년대 중반에 Goldwasser와 Micali가 계산복잡도 이론에 근거해서 암호화 방식의 안전성을 엄밀하게 정의하고 이를 환원 증명을 통해 증명한 이후로 암호학적 설계에서 중요한 패러다임으로 자리 잡았고, 오늘날은 사실상 공개키 암호학의 거의 전 분야에서 요구되고 있다. 본 강의에서는 구체적인 예를 통해 증명가능한 안전성에 관해 설명하고자 한다. 특히, IND-CCA 안전성을 만족하는 최초의 효율적인 암호화 방식인 Cramer-Shoup의 안전성 증명을 자세히 살펴보도록 한다.
CAMP
TimeSpeaker/ Title/ Abstract/ VODLocation
09:30 - 12:15 부채널 분석 - 한동국(국민대)
Loading the live streaming player...
1978년 Rivest, Shamir, Adleman에 의해 제안된 RSA공개키 암호시스템은 지난 40여 년 동안 다양한 정보보안 디바이스에서 그 역할을 충실히 수행하고 있다. 우리가 사용하고 있는 RSA 암호는 크게 2가지로 나누어 볼 수 있다. 첫째는 사용되어지는 디바이스에 최적화 구현된 S/W 또는 H/W RSA이고, 또 하나는 다양한 Side Channel Attack에 안전하고 효율적인 S/W, H/W RSA 이다. 후자의 RSA를 확보하기 위해서는 전자의 RSA보다 더 많은 비용과 기술적 완숙도를 확보하여야 가능한 기술이다. 본 강좌에서는 Side Channel Analysis 기술에 대한 원리를 소개하고, 대칭키, 공개키 암호 부채널 분석 및 대응법 동향에 대해 소개한다. - 09:30 ~ 10:20 Side Channel Analysis 개론 - 10:30 ~ 11:20 대칭키암호 부채널 분석 및 대응기술 - 11:30 ~ 12:15 공개키암호 부채널 분석 및 대응기술
CAMP
12:15 - 13:30 점심
CAMP
13:30 - 15:30 비밀키암호 Provable Security - 이주영(세종대)
Loading the live streaming player...
본 강의에서는 Even-Mansour 블록 암호 구조를 중심으로, 안전성 증명 기법과 이에 상응하는 공격에 대해 살펴본다. 안전성 증명에서 주로 사용되는 가정과 공격 모델 및 안전성 개념 등을 소개하고, coefficient-H 기법을 사용하여 Even-Mansour 구조의 안전성을 생일 상한까지 증명한다. 또한 증명 가능한 안전성에 상응하는 키 복구 공격 - 차분공격, slide, slidex 공격 등 - 을 소개한다.
CAMP
15:30 - 16:00 휴식
CAMP
16:00 - 18:00 비밀키암호 - 이정근(NSR)
본 강연에서는 블록암호와 해시함수를 중심으로 비밀키 암호를 다룬다. 블록암호의 설계원리, 구조, 구성요소와 안전성을 다루고 AES와 LEA 등 다양한 블록암호의 구조와 특징을 살펴본다. 또한, 해시함수의 구조, 설계방식, 안전성과 함께 SHA-3와 LSH 등 각종 해시함수의 구조와 특징을 살펴본다.
CAMP
TimeSpeaker/ Title/ Abstract/ VODLocation
09:30 - 12:15 양자암호 - 이수준(경희대)
Loading the live streaming player...
이 강연에서는, 시간이 허락되는 한도내에서 "양자암호의 안전성 증명"이란 주제와 양자 암호해독이라고 할 수 있는 "양자 소인수분해 알고리즘"이란 주제, 다음의 두 가지 주제를 다룬다. 1. 양자암호의 안전성 증명 양자암호의 기본적인 안전성 증명에서부터 최신의 안전성 증명까지의 흐름에 대해 비교적 전문적인 지식 없이도 이해할 수 있도록 설명하고자 한다. 2. 양자 소인수분해 알고리즘 양자 알고리즘의 기본 이론과 함께 소인수분해문제를 해결하는 양자 알고리즘의 원리를 자세한 증명 없이 설명하고자 한다.
CAMP
12:15 - 13:30 점심
CAMP