NEWS

최근 소식들

  1. Jan 2024

    I am in Lyon, France, until the middle of March for an internship at CryptoLab Lyon.

    크립토랩 Lyon에서 연구인턴을 위해 3월 중순까지 프랑스 리옹에 있습니다!

  2. Oct 2023

    The paper "HERMES: Efficient Ring Packing using MLWE Ciphertexts and Application to Transciphering" won Best Award in National Cryptography Contest.

    논문 "HERMES: Efficient Ring Packing using MLWE Ciphertexts and Application to Transciphering"가 국가암호공모전에서 최우수상을 수상했습니다.

  3. Aug 2023

    The paper entitled "HERMES: Efficient Ring Packing using MLWE Ciphertexts and Application to Transciphering" was presented at Crypto 2023. The video is available on YouTube, and the full-version paper is available on eprint.

    논문 "HERMES: Efficient Ring Packing using MLWE Ciphertexts and Application to Transciphering" 를 Crypto 2023 에서 발표했습니다. 발표는 유튜브 에서, 논문 풀버전은 eprint 에서 확인하실 수 있습니다.

  4. Mar 2023

    I was a staff in the 6th HES meeting.

    서울에서 6차 HES Meeting에서 스태프를 했습니다.

  5. Jul 2022

    The paper "Efficient Homomorphic Evaluation on Large Intervals" was published in IEEE Transactions on Information Forensics and Security.

    논문 "Efficient Homomorphic Evaluation on Large Intervals" 이 IEEE Transactions on Information Forensics and Security 에 게재됐습니다.

  6. Jul 2022

    The paper "Privacy-Preserving Text Classification on BERT Embeddings with Homomorphic Encryption" was presented at NAACL 2022.

    논문 "Privacy-Preserving Text Classification on BERT Embeddings with Homomorphic Encryption" 이 NAACL 2022 에서 발표됐습니다.

Research Interests

관심있는 연구주제

  1. (Fully) Homomorphic Encryption

    동형암호

    Encryption is a means to ensure data privacy. However, it is hard to use encrypted data without decrypting it. Homomorphic encryption (HE) can be a decent solution to this issue. HE is a form of encryption that allows computation in encrypted states without decryption. I am working on efficient evaluation algorithms using HE. I also work on HE applications in various fields, such as natural language processing and biological information.

    암호화는 데이터 프라이버시를 보장하는 수단입니다. 그러나 암호화된 데이터는 해독하지 않으면 활용하기 어렵습니다. 동형암호는 이 문제에 대한 훌륭한 해결책이 될 수 있습니다. 동형암호는 복호화 없이 암호화된 상태에서 계산을 허용하는 암호화 기법입니다. 저는 동형암호를 효율적으로 계산하는 알고리즘을 연구하고 있습니다. 또한 자연어 처리, 생물학적 정보 등 다양한 분야에서 동형암호의 활용도 연구하고 있습니다.

  2. Verifiable Computation

    계산 검증

    How can we securely delegate computations? How can we convince that the computing server did the task sincerely? By using verifiable computation (VC) schemes, a computing server can generate proof of their computing, which guarantees the integrity of the computation. I am interested in various topics in VC, including combining VC with homomorphic encryption for secure outsourcing.

    계산을 어떻게 안전하게 아웃소싱할 수 있을까요? 컴퓨팅 서버가 작업을 성실하게 수행했다고 어떻게 확인할까요? 계산검증 기법을 사용하면 서버가 계산의 성실히 수행했다는 증거를 생성할 수 있습니다. 저는 계산검증과 동형암호화를 결합하는 주제에 관심이 있습니다. 이를 통해 안전한 아웃소싱을 도달하고자 합니다. 그 외에도 계산 검증의 다양한 주제에 관심이 많습니다.

  3. Lattice-based Crypto

    격자 기반 암호

    Lattice-based cryptosystems prove their security based on cryptographic assumptions related to lattice problems. I am interested in lattice-based crypto, especially in fully homomorphic encryption and post-quantum cryptography based on lattice problems.

    격자 기반 암호 시스템은 격자 문제와 관련된 암호 가정을 기반으로 보안을 증명합니다. 저는 격자 기반 암호화에 관심이 많으며, 특히 동형암호 및 양자 후 암호화에서의 활용들에 관심이 있습니다.