SAVER: Snark-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization. - Jiwon Lee; Jaekyoung Choi; Jihye Kim 001; Hyunok Oh (IACR Cryptol. ePrint Arch., 2019)

SAVER: SNARK-Compatible Verifiable Encryption. - Jiwon Lee; Jaekyoung Choi; Jihye Kim 001; Hyunok Oh (FC (2), 2024)

zkVoting : Zero-knowledge proof based coercion-resistant and E2E verifiable e-voting system. - Seongho Park; Jaekyoung Choi; Jihye Kim 001; Hyunok Oh (IACR Cryptol. ePrint Arch., 2024)