Hyeonbum Lee

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Coloured Petri Nets

Argumentation Schemes

Theorem Proving

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Trans. Inf. Forensics Secur.

Publications

Hyeonbum Lee, Jae Hong Seo
On the Security of Nova Recursive Proof System. IACR Cryptol. ePrint Arch. 2024 (2024)
Hyeonbum Lee, Seunghun Paik, Hyunjung Son, Jae Hong Seo
Cougar: Cubic Root Verifier Inner Product Argument under Discrete Logarithm Assumption. IACR Cryptol. ePrint Arch. 2024 (2024)
Hyeonbum Lee, Jae Hong Seo
TENET: Sublogarithmic Proof and Sublinear Verifier Inner Product Argument without a Trusted Setup. IWSEC (2023)
Sungwook Kim, Gwangwoon Lee, Hyeonbum Lee, Jae Hong Seo
Leopard: Sublinear Verifier Inner Product Argument Under Discrete Logarithm Assumption. IEEE Trans. Inf. Forensics Secur. 18 (2023)
Hyeonbum Lee, Jae Hong Seo
TENET : Sublogarithmic Proof, Sublinear Verifier Inner Product Argument without a Trusted Setup. IACR Cryptol. ePrint Arch. 2023 (2023)
Sungwook Kim, Hyeonbum Lee, Jae Hong Seo
Efficient Zero-Knowledge Arguments in Discrete Logarithm Setting: Sublogarithmic Proof or Sublinear Verifier. ASIACRYPT (2) (2022)
Hyeonbum Lee, Jae Hong Seo
Efficient Zero-Knowledge Argument in Discrete Logarithm Setting: Sublogarithmic Proof or Sublinear Verifier. IACR Cryptol. ePrint Arch. 2021 (2021)
Chanyang Ju, Hyeonbum Lee, HeeWon Chung, Jae Hong Seo, Sungwook Kim
Efficient Sum-Check Protocol for Convolution. IEEE Access 9 (2021)