최근 소식들

  1. Mar. 2024

    The paper "HAETAE: Shorter Lattice-Based Fiat-Shamir Signatures" is accepted to CHES 2024.

    논문 "HAETAE: Shorter Lattice-Based Fiat-Shamir Signatures"이 보안 분야 국제 학회인 CHES 2024에 accept 되었습니다.

  2. Feb. 2024

    SMAUG-T (v3.0, a merge of SMAUG and TiGER) and HAETAE (v2.1) are submitted to KpqC Competition Round 2.

    SMAUG-T (SMAUG와 TiGER 스킴의 결합 스킴) KEM 스킴 3.0 버전과 HAETAE 전자서명 스킴 2.1 버전이 대한민국 양자내성암호 국가공모전 2 라운드에 제출되었습니다.

  3. Dec. 2023

    SMAUG and HAETAE are selected from KpqC Competition Round 1, and are advanced to Round 2.

    대한민국 양자내성암호 국가공모전에 제출된 SMAUG KEM 스킴과 HAETAE 전자서명 스킴이 1 라운드에서 선정되어, 2 라운드로 진출하였습니다.

  4. Aug. 2023

    The paper "SMAUG: Pushing Lattice-based Key Encapsulation Mechanisms to the Limits" is accepted to SAC 2023.

    논문 "SMAUG: Pushing Lattice-based Key Encapsulation Mechanisms to the Limits" 이 캐나다 암호 학회인 SAC 2023에 accept 되었습니다.

  5. Jul. 2023

    HAETAE is in NIST PQC Additional Digital Signature Round 1.

    HAETAE 전자서명 스킴이 NIST PQC Additional Digital Signature Round 1에서 표준화를 위해 경쟁 중입니다.

Research Interests

관심있는 연구주제

  1. Homomorphic Encryption


    Cloud computing enables complex operations that clients with limited resources cannot compute by itself. 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 working on HE applications and bootstrapping.

    클라우드 컴퓨팅은 컴퓨팅 리소스가 제한된 일반 사용자가 직접 계산할 수 없는 복잡한 작업을 가능하게 합니다. 하지만 과연 이것이 안전할까요? 클라우드 제공자가 당신의 정보를 다른 목적으로 사용하지는 않을까요? 일반적인 암호는 데이터를 안전하게 저장하는 기능만을 가지고 있는 반면에, 동형암호로 암호화된 데이터에는 연산을 적용할 수 있습니다. 동형암호는 데이터를 안전하게 보호하면서 클라우드 컴퓨팅을 가능하게 합니다. 저는 동형암호의 활용과 동형암호문의 재부팅에 대해 연구하고 있습니다.

  2. Post-Quantum Cryptography


    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.

    양자 컴퓨터가 상용화되는 미래에도 암호 시스템은 여전히 안전할까요? 대부분의 현대 암호 시스템의 보안은 기반하고 있는 어려운 난제로부터 보장됩니다. 하지만, 현재 사용되고 있는 대부분의 난제는 양자 컴퓨터로 쉽게 해결될 수 있습니다. 양자내성암호는 양자 컴퓨터로도 해결하기 어려운 난제를 기반으로 암호 시스템을 설계합니다. 저는 특히 격자 난제에 기반한 암호 시스템에 관심이 많습니다.