Hi! I am a PhD candidate (completing at the end of February, 2025) at Seoul National University (SNU), Department of Mathematical Sciences. My PhD advisor is Prof. Jung Hee Cheon. I work on cryptography, focusing on (threshold) fully homomorphic encryption (FHE) and lattice-based post-quantum cryptography (PQC). Here is my Curriculum Vitae. Currently, I am a member of Team SMAUG(-T) and Team HAETAE, the winners of the Korean Post Quantum Cryptography (KpqC) Competition for Korean PQC standardization. HAETAE was also submitted to NIST PQC Additional Signature Round 1.
안녕하세요, 저는 2025년 2월 졸업 예정인 석박사통합과정 학생으로, 서울대학교 수리과학부 천정희 교수님 연구실에서 공부 중입니다. 저는 암호학을 연구 중이며, 특히 동형암호와 격자기반 양자내성암호(PQC)에 관심이 많습니다. 더 자세한 사항은 제 이력서에서 확인해보세요! 현재 저는 대한민국 양자내성암호 국가공모전 (KpqC 공모전)에서 최종 선정된 Team SMAUG(-T)와 Team HAETAE의 핵심 멤버로 참여하고 있습니다. HAETAE는 NIST PQC Additional Signature 1 라운드에도 제출되었습니다.
My eprint paper "Grafting: Complementing RNS in CKKS" has been updated significantly. Check this eprint!
최근 연구 중인 "Grafting: Complementing RNS in CKKS"이 암호/보안 분야 아카이브인 eprint에 업데이트되었습니다.
HAETAE digital signature scheme and SMAUG-T KEM scheme are selected as final winners of the KpqC competition.
HAETAE 전자서명 스킴과 SMAUG-T KEM 스킴이 KpqC 공모전 최종 우승 알고리즘으로 선정되었습니다.
I am visiting Ruhr Bochum University in Germany for a week, for an invited talk.
독일 Ruhr Bochum 대학에 초청 받아 일주일간 방문할 예정입니다.
The paper analyzing the KpqC Round2 changes of SMAUG-T KEM has been accepted to IEEE ACCESS. The paper introduces new designs to SMAUG-T making it more timing-secure and efficient with less failures.
SMAUG-T KEM 스킴의 KpqC 공모전 2라운드 변경 사항에 대한 논문이 IEEE ACCESS에 accept되었습니다.
I received Grand Prize from the Korean National Cryptography Contest for the CCS 2024 paper "Attacks Against the IND-CPA^D Security of Exact FHE".
국가암호공모전에서 CCS 2024 논문 "Attacks Against the IND-CPA^D Security of Exact FHE"으로 대상을 수상하였습니다.
The paper "Attacks Against the IND-CPA^D Security of Exact FHE" is accepted to ACM CCS 2024. I am attending CCS, Salt Lake City, USA and presenting at the Doctoral Symposium (Mid Oct. 2024).
논문 "Attacks Against the IND-CPA^D Security of Exact FHE"이 암호/보안 분야 국제 학회인 ACM CCS 2024에 accept 되었습니다. 미국 솔트 레이크 시티에서 열리는 ACM CCS 2024 학회에 참석하며, Doctoral Symposium에서 발표할 예정입니다 (10월 중순 경).
The paper "HAETAE: Shorter Lattice-Based Fiat-Shamir Signatures" is accepted to CHES 2024. I am attending CHES 2024, Halifax, Canada (Early Sep. 2024).
논문 "HAETAE: Shorter Lattice-Based Fiat-Shamir Signatures"이 보안 분야 국제 학회인 CHES 2024에 accept 되었습니다. 캐나다 핼리팩스에서 열리는 CHES 2024 학회에 참석할 예정입니다 (9월 초 경).
Cloud computing enables complex operations that clients with limited resources cannot compute alone. But is it safe? Wouldn't cloud providers use your data for other purposes? While general encryption only securely stores your data, Homorphic Encryption (HE) enables computation on encrypted data. HE enables cloud computing while ensuring data privacy. I am interested in broad topics in HE, e.g., security notions, accelerations, applications, and extensions to the threshold/multi-party setting.
클라우드 컴퓨팅은 컴퓨팅 리소스가 제한된 일반 사용자가 직접 계산할 수 없는 복잡한 작업을 가능하게 합니다. 하지만 과연 이것이 안전할까요? 클라우드 제공자가 당신의 정보를 다른 목적으로 사용하지는 않을까요? 일반적인 암호는 데이터를 안전하게 저장하는 기능만을 가지고 있는 반면에, 동형암호로 암호화된 데이터에는 연산을 적용할 수 있습니다. 동형암호는 데이터를 안전하게 보호하면서 클라우드 컴퓨팅을 가능하게 합니다. 저는 다양한 면에서 동형암호를 연구하고 있습니다: 안전성, 가속, 응용, 그리고 다자간의 연산이 가능한 동형암호에 관심이 있습니다.
Will cryptosystems still be secure in the future when quantum computers are commercialized? The security of most modern cryptosystems is guaranteed by its base hard problems. However, most of the hard problems currently in use can be easily solved by quantum computers. Post-Quantum (or quantum-resistant) cryptography designs cryptosystems using hard problems that are difficult to solve even with quantum computers. I am particularly interested in cryptosystems based on lattice problems.
양자 컴퓨터가 상용화되는 미래에도 암호 시스템은 여전히 안전할까요? 대부분의 현대 암호 시스템의 보안은 기반하고 있는 어려운 난제로부터 보장됩니다. 하지만, 현재 사용되고 있는 대부분의 난제는 양자 컴퓨터로 쉽게 해결될 수 있습니다. 양자내성암호는 양자 컴퓨터로도 해결하기 어려운 난제를 기반으로 암호 시스템을 설계합니다. 저는 특히 격자 난제에 기반한 암호 시스템을 연구하고 있습니다.