October 19 (Thursday) 

14:00 ~ 16:00 Changmin Lee (KIAS)  

Title:  How to meet-LWE on low entropy secret space. (file)

Abstract: 본 발표에서는 최근 LWE 문제를 풀기 위해서 격자이론과 조합론의 알고리즘을 혼합하여 제안된 May 알고리즘을 확장한 연구 방법을 소개한다. 구체적인 이 공격 알고리즘의 대상으로는 시크릿벡터의 해밍웨이트가 작은 경우와 같이 스크릿벡터가 샘플되는 분포의 엔트로피가 작은 경우의 LWE를 분석하기 위한 방법을 진행한다. 이 연구결과의 응용으로, 최근 KpqC 양자내성암호에 제출된 논문들에 결과를 적용시켜, 기존 결과에 비교해 향상된 공격 결과를 얻는 방법을 알아본다

16:00 ~ 18:00 Jong Hwan Park (Samgmyung Universtiy) 

Title: 새로운 NTRU+Sign 기법의 설계 및 증명 아이디어 소개 (file)

Abstract: 2013년 Lyubashevsky 등이 제안한 NTRU 래티스 기반의 BLISS는 Fiat-Shamir 변환을 이용한 전자서명 기법으로 discrete Gaussian 분포와 Bimodal rejection sampling을 이용하여 효율적으로 설계되었다. 그러나 BLISS는 discrete Gaussian 분포를 사용하는 것 때문에 서명 시 rejection sampling이 부채널 공격에 취약한 문제가 있었다. 본 연구에서는   discrete Gaussian 분포대신   centered Binomial 분포에서 Bimodal rejection sampling을 사용함으로써 부채널 공격에 안전한 서명기법을 제안한다. 주요 특징으로는 centered Binomial 분포를 테이블 참조를 통해서 해결하는 것과 modulus를 2q에서 q로 줄이는 것이다. 마지막으로 NTRU 래티스에서 다항식 차수가 512, 1024인 경우에 서명 및 공개키 사이즈를 제시한다.

October 20 (Friday) 

10:00 ~ 12:00 Seungki Kim (University of Cincinnati) 

Title: 격자기반 hash-and-sign 전자서명 암호스킴의 역사와 현재 (file 1, file 2)

Abstract: 본 발표의 목적은 소위 GPV (Gentry-Peikert-Vaikuntanathan) framework에 속하는 전자서명 암호스킴의 진화과정 및 최신 연구현황을 보고해 드리는 데 있습니다. NIST 표준화 과정에 선정된 Falcon, hybrid sampling을 도입하여 서명시간을 Falcon의 절반으로 줄인 Mitaka, Mitaka의 치명적인 약점인 비밀키 생성시간 문제를 해결한 Solmae 등을 특히 중점적으로 다룰 예정이며, GPV 류 스킴들의 공통적인 문제 --- 중간비도 구현, 부채널 공격 방어 등 --- 에 관한 최근 연구들도 소개해 드리고자 합니다.

14:00 ~ 16:00 Hwajeong Seo (Hansung University)

Title: 안전하고 효율적인 KpqC 공모전 알고리즘 구현 방법 (file)

Abstract: 본 발표에서는 최근에 국내에서 진행 중에 있는 KpqC 공모전 알고리즘의 안전하고 효율적인 구현 방법을 컴퓨터 공학 관점에서 집중적으로 확인해 보고자 한다. 암호화 알고리즘의 중요한 척도 중 하나인 구현 효율성의 경우 현재 공개되어 있는 코드를 기반으로 벤치마크를 수행한 결과를 확인해 봄으로써 전반적인 효율성에 대해 알 수 있도록 한다. 특히 암호 구현 효율성은 연산속도와 저장공간 관점에서 나누어 살펴보며 이를 통해 KpqC 공모전 알고리즘들이 가지고 있는 강점에 대해 확인해 보도록 한다. 마지막으로 메모리 분석 툴을 통해 동적으로 메모리 누수 그리고 variable timing과 같은 오류 및 취약점들을 잡아내는 방법론에 대해서도 알아보도록 한다.

16:00 ~ 18:00 Joohee Lee (Sungshin Women's University)

Title:  KpqC 공모전 1 라운드 격자기반 알고리즘 안전성 분석 (file)

Abstract: 본 발표에서는 KpqC 공모전 1 라운드 후보 알고리즘 중 격자기반 알고리즘에 대한 안전성 분석 결과를 제시한다. NTRU+에 대한 CCA 공격과 안전성 증명에 대한 코멘트, TiGER에 Meet LWE 공격 적용 시 안전성 분석 결과를 다루며, 공격 결과 제시 이후 각 스킴이 업데이트한 내용에 대해 분석 및 검증 결과를 다룬다. 또한, LWE/LWR 기반 스킴 총 5종에 대해 Lattice estimator를 사용한 안전성 분석 및 검증 결과를 다룬다.