서울대학교 암호랩 학부생 인턴 분야 설명

서울대학교 암호연구실에서는 무궁무진한 잠재력을 가지고 있는

학부생들에게 연구 기회를 제공하고자 학부생 인턴을 모집하게 되었습니다.

연구실 소개

우리 암호연구실에는 격자 이론 및 정수론, 계산수론 등의 이론을연구하며 이를 이용하여 암호학적 난제를 해결하고 새로운 암호를 설계⋅분석하는 연구를 하고 있습니다.

모집 분야

분야 1

-  주  제  : 근사동형암호 개선 연구

- 관련 과목 및 분야 : 정수론, 선형대수학, C/C++ 프로그래밍

-  설  명  : 2017년 본 연구실에서 개발된 근사동형암호 HEAAN은 머신러닝, 제어 시스템 등 다양한 실용분야들에 프라이버시 보호를 위해 활용되어 왔고, 가장 효율적인 스킴들 중 하나라고 여겨지고 있다. HEAAN에 대한 알고리즘적 개선 및 구현 최적화 과정은 동형암호가 실생활로 적용되는 데에 한걸음 더 앞서나가게 할 중요한 연구이다.

- 활동 계획: 동형암호 기반 비교연산 개선 연구 혹은 HEAAN 라이브러리 구현 최적화 진행

분야 2

-  주  제  : 새로운 암호 기반문제 분석

- 관련 과목 및 분야 : 선형대수학, 정수론, 현대대수학, 알고리즘 기초

-  설  명  : 최근 암호학에서는 효율성이나 새로운 목적을 갖는 암호 스킴의 설계를 위해 1) 새로운 기반문제를 제안하거나, 2) 기존의 기반문제의 약화된 버전을 사용하는 경향이 두드러진다. 하지만 새 기반문제들은 기존의 문제들과 다르게 기존의 안전성 증명이 적용되지 않거나 분석이 적게 이루어졌다. 이러한 관점에서 새롭게 제안된 암호학적 문제를 해결하는 새로운 알고리즘을 만드는 것이 이 연구의 목적이다.

- 활동 계획: 새로 제안된 기반문제들의 이해와 기존 기반문제에 대한 공격 알고리즘들의 이해를 바탕으로 새로운 문제들을 해결하는 알고리즘을 고안한다.

분야 3

-  주  제  : 격자 난제 간의 Reduction 연구

- 관련 과목 및 분야 : 정수론, 알고리즘이론

-  설  명  : 기본적으로 “격자기반 암호”라고 불리는 암호 시스템들의 안전성은 격자 난제들이 풀기 어렵다는 사실에 기반한다. 대표적인 격자 난제로는 Shortest Vector Problem (SVP), Closest Vector Problem (CVP), Shortest Independent Vectors Problem (SIVP)가 있으며, 이 난제들 사이의 equivalence를 보이는 것은 매우 흥미로운 문제로 남아 있다. 이 문제를 해결하기 위해 SVP와 SIVP 문제 간의 reduction을 더 깊이 있게 연구하는 것을 주 목표로 한다.

- 활동 계획: 격자난제들의 정의와 기존 reduction 관계를 파악하고, 다양한 lattice 이론들을 공부하며 새로운 reduction을 고안한다.

각 분야별로 제시되어 있는 예시 이외에도 다양한 세부 주제가 있으니 많은 관심 부탁드립니다.

인턴 교육계획

주 1회 집중세미나 시행

개인별 과제 부여 및 토론

지원 절차

- 지원 절차: 지원서 이메일 접수 후 면접

접수 기한, 면접 일정 및 인턴 기간

- 접수 기한: 2019.2.25.(월)

- 면접 일정: 2019.2.27.(수) (추후 개별 연락)

- 인턴 기간: 2019.2.28. ~ 08.31. (6개월) (추후 연장 가능)

인턴 특전

- 연구실 정기 세미나 참여 기회 제공

연구비 지원

우수 연구자 해외 학회 참여 기회 제공

참고사항

- 자연과학대학 학부생 인턴 과정과 무관

문의 메일 및 연락처

- 메일:  doodoo1204@snu.ac.kr(김두형), hhan@snu.ac.kr(한민기)

- 연락처:  02-880-6272(연구실)