복습용 블로그

NIST PQC round 3까지 통과한 서명 스킴인 dilithium 논문 리뷰를 해봅니다. PQC, lattice를 위주로 연구하는 중은 아니어서 security 관점이나 이런 부분은 잘 모르기 때문에 생략하도록 하고, 전체적으로 스킴이 어떻게 구성되어 있는 지 위주로 살펴보겠습니다. dilithium 의 최종 페이퍼는 아래 링크에서 확인하실 수 있습니다. Shi Bai, Léo Ducas, Eike Kiltz, Tancrède Lepoint, Vadim Lyubashevsky, Peter Schwabe, Gregor Seiler and Damien Stehlé - CRYSTALS-Dilithium, Algorithm Specifications and Supporting Documentation, 2..

고려대 정보보호대학원 2022학년 전기 석사 신입생으로 입학하게 되었습니다. 컨택한 연구실 랩장 형님께서 공부해오라고 하신 blind signature 내용을 간단히 정리하겠습니다. https://sceweb.sce.uhcl.edu/yang/teaching/csci5234WebSecurityFall2011/Chaum-blind-signatures.PDF David Chaum이 1983년 발표한 blind signature는 서명하는 사람이 서명하는 내용이 어떤 것인지 모르게하기 위한 것입니다. 논문 원본 내용을 그대로 빌려 쓰자면, "어음과 같은 익명 지불 시스템은 통제와 보안에 취약하다. 지불에 대한 증명 부족과 훔쳐진 것인지, 암시장에 의한 것인지 등의 문제가 있다." 로 표현합니다. (지금은 은행 ..

이번에 학교에서 학부생 인턴 연구 주제로 동형암호에 대해 진행하였다. 동형 암호 내용 자체가 학부생 수준에서 이해하기 어렵다고 교수님도 그려셔서 그냥 개념과 특징만 정리해보겠다. 보고서에는 SEAL이랑 HElib 사용한 것도 첨부하였는데 그건 깃헙이랑 보고서 읽어봐도 무슨 원리로 한지 이해가 되지 않고 (너무 어려운 대수학 내용이 가득하다.) 그냥 유튜브에 설치 방법 따라해서 소스코드 파일에 있는 예제들 돌려본 수준이라 따로 올리진 않겠다. 0. 최신 암호 시스템의 필요성 현재 양자 컴퓨팅에 관한 연구가 활발하다. 제작년인가 구글에서 슈퍼컴퓨터로 1만년 걸리는 계산을 양자컴퓨터로 200초만에 해결했다는 기사가 나왔다. www.aitimes.kr/news/articleView.html?idxno=15037..

SHA-1,2,3까지 현재 나왔다. MD5가 깨지면서 대체된 해쉬 함수 기반 암호이다. 우선 해쉬 함수는 임의의 길이의 input을 넣어도 일정 길이의 output이 나오는 함수를 의미한다. 대표적인 예로 modulo 연산이 존재한다. Z_10에서 input이 무엇이더라도 mod 10 연산에 의해 0~9 값 중 하나로 결정된다. MD는 깨졌지만 SHA-1의 기반이 된 암호이므로 살펴보자. 기본 MD 함수 구조는 다음과 같다. MD4 : f : {0,1}^128 x {0,1}^512 -> {0,1}^128, h_i = f(h_(i-1), m_i) 의 구조를 가진다. 48step(3rounds)를 이룬다. MD5: f : {0,1}^128 x {0,1}^512 -> {0,1}^128, h_i = f(h_(i..

Integrity의 뜻은 다음과 같다. If Alice need to be sure that the contents of her documents will not be changed, she can put her fingerprint at the bottom of the document. 기본적으로 hash 함수에 대해 다루게 되는데 hash를 이용한 암호인 sha-2 등은 뒤에서 다루겠다. hash 함수가 지녀야할 조건 3가지는 다음과 같다. 1. Preimage Resistance 2. Second Preimage Resistance 3. Collision Resistance 1. Preimage Resistance 2. Second Preimage Resistance 3. Collision Resi..